Enc_get_bdd_encoding()
Enc_get_be_encoding()
Enc_get_bool_encoding()
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_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 2006/08/01 10h:49