-
enc.h
- External header file
-
encInt.h
- Internal header file
-
enc.c
- Package level code of package enc
-
encCmd.c
- The shell interface of the ENC package
enc.h
External header file
By: Roberto Cavada
See Alsoenc.c
encInt.h
Internal header file
By: Roberto Cavada
See Alsoenc.h
enc.c
Package level code of package enc
By: Roberto Cavada
See Alsoenc.h,
encInt.h
-
Enc_init_encodings()
- Initializes the encoding package
-
Enc_add_commands()
- Adds commands related to Enc package
-
Enc_init_bool_encoding()
- Initializes the boolean encoding for this session
-
Enc_init_bdd_encoding()
- Initializes the bdd enc for this session
-
Enc_init_be_encoding()
- Initializes the be enc for this session
-
Enc_quit_encodings()
- Call to destroy all encodings, when session ends
-
Enc_get_bool_encoding()
-
-
Enc_get_bdd_encoding()
-
-
Enc_get_be_encoding()
-
-
Enc_set_bool_encoding()
- Set the global boolean encoding
-
Enc_set_bdd_encoding()
- Set the global bdd encoding
-
Enc_set_be_encoding()
- Set the global be encoding
-
Enc_append_bit_to_sorted_list()
- Given a boolean variable or a bit the function inserts it
into the sorted list at proper position
-
Enc_vars_ord_to_string()
- Returns the string corresponding to give parameter
-
Enc_string_to_vars_ord()
- Converts a string to the corresponding var order type.
-
Enc_get_valid_vars_ord_types()
- Returns a string of all possible values for
vars_ord_type
-
Enc_bdd_static_order_heuristics_to_string()
- Returns the string corresponding to give parameter
-
Enc_string_to_bdd_static_order_heuristics()
- Converts a string to the corresponding BDD Static Order Heuristics.
-
Enc_get_valid_bdd_static_order_heuristics()
- Returns a string of all possible values for
bdd_static_order_heuristics
-
enc_construct_bdd_order_statically()
- The function is trying to construct a BDD var order using
heuristics by analyzing the flattened model
encCmd.c
The shell interface of the ENC package
By: Andrei Tchaltsev
Shell interface of the ENC package.
-
CommandCleanBddCache()
- Implements the cleaning BDD cache
-
CommandPrintFormula()
- Prints a formula in canonical format.
Last updated on 2010/05/19 15h:56