-
Enc_get_bdd_encoding()
-
-
Enc_get_be_encoding()
-
-
Enc_get_bool_encoding()
-
-
Enc_get_valid_vars_ord_types()
- Returns a string of all possible values for
vars_ord_type
-
Enc_init_bdd_encoding()
- Initializes the bdd enc for this session
-
Enc_init_be_encoding()
- Initializes the be enc for this session
-
Enc_init_bool_encoding()
- Initializes the boolean encoding for this session
-
Enc_init_encodings()
- Initializes the encoding package
-
Enc_quit_encodings()
- Call to destroy all encodings, when session ends
-
Enc_string_to_vars_ord()
- Converts a string to the corresponding var order type.
-
Enc_vars_ord_to_string()
- Returns the string corresponding to give parameter
-
enc_set_bdd_encoding()
- Set the global bdd encoding
-
enc_set_be_encoding()
- Set the global be encoding
-
enc_set_bool_encoding()
- Set the global boolean encoding
Last updated on 2009/03/04 13h:34