enc.h
External header file
encInt.h
Internal header file
enc.c
Package level code of package enc

enc.h

External header file

By: Roberto Cavada

See Alsoenc.c


encInt.h

Internal header file

By: Roberto Cavada

See Alsoenc.h


enc.c

Package level code of package enc

By: Roberto Cavada

See Alsoenc.h, encInt.h

Enc_init_symbolic_encoding()
Initializes the symbolic encoding for this session
Enc_init_bdd_encoding()
Initializes the bdd enc for this session
Enc_reinit_bdd_encoding()
Reinitialize the BddEnc instance, getting new variable added by booleanization of scalar sxp fsm of the symbolic encoding
Enc_quit_encodings()
Call to destroy encodings, when session ends
Enc_get_symb_encoding()
Enc_get_bdd_encoding()
enc_set_symb_encoding()
Set the global symbolic encoding
enc_set_bdd_encoding()
Set the global bdd encoding

Last updated on 2005/05/05 19h:51