BDD operators
bdd_allsat
bdd_and
bdd_appall
bdd_appex
bdd_apply
bdd_appuni
bdd_biimp
bdd_buildcube
bdd_compose
bdd_constrain
bdd_exist
bdd_forall
bdd_fullsatone
bdd_ibuildcube
bdd_imp
bdd_ite
bdd_not
bdd_or
bdd_relprod
bdd_replace
bdd_restrict
bdd_satone
bdd_satoneset
bdd_simplify
bdd_unique
bdd_veccompose
bdd_xor
BDD bdd_constrain ( BDD  f,
BDD  c 
)

Generalized cofactor.

Computes the generalized cofactor of f with respect to c.

Returns:
The constrained BDD.
See also:
bdd_restrict, bdd_simplify

Generated on Mon Jul 23 13:25:16 2007 for BuDDy by  doxygen 1.5.1