BddEnc_ptr
Enc_get_bdd_encoding(
)
-
- Defined in
enc.c
BeEnc_ptr
Enc_get_be_encoding(
)
-
- Defined in
enc.c
BoolEnc_ptr
Enc_get_bool_encoding(
)
-
- Defined in
enc.c
const char*
Enc_get_valid_vars_ord_types(
)
- Returned string does not have to be freed
- Defined in
enc.c
void
Enc_init_bdd_encoding(
)
- Initializes the bdd enc for this session
- Defined in
enc.c
void
Enc_init_be_encoding(
)
- Initializes the be enc for this session
- Defined in
enc.c
void
Enc_init_bool_encoding(
)
- Call it to initialize for the current session the
encoding, before flattening. In the current implementation, you must
call this *before* the flattening phase. After the flattening,
you must initialize the bdd encoding as well, and after you created the
boolean sexp fsm, you must reinitialize the bdd encodings by calling
Enc_reinit_bdd_encoding. Don't forget to call Enc_quit_encodings when
the session ends.
- See Also
Enc_init_bdd_encoding
Enc_reinit_bdd_encoding
Enc_quit_encodings
- Defined in
enc.c
void
Enc_init_encodings(
)
- This function initializes only data-structures
global to all encoding.
To initialize particular incoding, you have to invoke corresponding
init-functions, such as Enc_init_bool_encoding, etc.
SideEffects [
- See Also
Enc_init_bool_encoding
Enc_init_bdd_encoding
Enc_reinit_bdd_encoding
Enc_quit_encodings
- Defined in
enc.c
void
Enc_quit_encodings(
)
- Call to destroy encodings, when session ends.
Enc_init_encodings had to be called before calling this function.
- Defined in
enc.c
VarsOrdType
Enc_string_to_vars_ord(
const char* str
)
- VARS_ORD_UNKNOWN is returned when the string does not
match the given string
- Defined in
enc.c
const char*
Enc_vars_ord_to_string(
VarsOrdType vot
)
- Returned string does not have to be freed
- Defined in
enc.c
void
enc_set_bdd_encoding(
BddEnc_ptr enc
)
- Set the global bdd encoding. If it was already
set, it is detroyed before the new assignment
- Defined in
enc.c
void
enc_set_be_encoding(
BeEnc_ptr enc
)
- Set the global be encoding. If it was already
set, it is detroyed before the new assignment
- Defined in
enc.c
void
enc_set_bool_encoding(
BoolEnc_ptr benc
)
- Set the global boolean encoding. If it was already
set, it is detroyed before the new assignment
- Defined in
enc.c