BddEnc_ptr 
Enc_get_bdd_encoding(
    
)

Defined in enc.c

Encoding_ptr 
Enc_get_symb_encoding(
    
)

Defined in enc.c

void 
Enc_init_bdd_encoding(
    
)
Initializes the bdd enc for this session

Defined in enc.c

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
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

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

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 assignment

Defined in enc.c

void 
enc_set_symb_encoding(
  Encoding_ptr  senc 
)
Set the global symbolic encoding. If it was already set, it is detroyed before the assignment

Defined in enc.c

Last updated on 2005/11/22 11h:03