-
bdd_enc_bdd_to_wff_rec()
- Recursively build a sexp representing a formula encoded as
a BDD
-
bdd_enc_debug_bdd_to_wff()
- Debug code for BddEnc_bdd_to_wff
-
bdd_enc_get_preprocessed_vars()
- Preprocesses variables list, as part of the
bdd_enc_bdd_to_wff implementation.
-
bdd_enc_get_scalar_essentials()
- Compute scalar essentials of a bdd.
-
bdd_enc_hash_free_bdd_counted()
- Used to deref bdds in the sharing hashtable
Last updated on 2011/04/06 21h:16