BddEnc_ptr 
Enc_get_bdd_encoding(
    
)


BeEnc_ptr 
Enc_get_be_encoding(
    
)


BoolEnc_ptr 
Enc_get_bool_encoding(
    
)


const char* 
Enc_get_valid_vars_ord_types(
    
)
Returned string does not have to be freed


void 
Enc_init_bdd_encoding(
    
)
Initializes the bdd enc for this session


void 
Enc_init_be_encoding(
    
)
Initializes the be enc for this session


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

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

void 
Enc_quit_encodings(
    
)
Call to destroy encodings, when session ends. Enc_init_encodings had to be called before calling this function.


VarsOrdType 
Enc_string_to_vars_ord(
  const char* str 
)
VARS_ORD_UNKNOWN is returned when the string does not match the given string


const char* 
Enc_vars_ord_to_string(
  VarsOrdType  vot 
)
Returned string does not have to be freed


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


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


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


Last updated on 2009/01/30 14h:53