-
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/11/21 16h:54