BddEnc_ptr
Enc_get_bdd_encoding(
)
-
Encoding_ptr
Enc_get_symb_encoding(
)
-
void
Enc_init_bdd_encoding(
)
- Initializes the bdd enc for this session
void
Enc_init_symbolic_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
void
Enc_quit_encodings(
)
- Call to destroy encodings, when session ends.
Enc_init_encodings had to be called before calling this function.
void
Enc_reinit_bdd_encoding(
)
- The reinitialization is due to the current
implementation, and might be no longer required in the future. Call
after you created the boolean sexp fsm. The current global BddEnc
instance will be destroyed, and substituted by a new instance. Any
previous reference to the old encoding won't be no longer usable.
- Side Effects Current global BddEnc instance is substituted by a
new instance
void
enc_set_bdd_encoding(
BddEnc_ptr enc
)
- Set the global bdd encoding. If it was already
set, it is detroyed before the assignment
void
enc_set_symb_encoding(
Encoding_ptr senc
)
- Set the global symbolic encoding. If it was already
set, it is detroyed before the assignment