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_imp ( BDD  l,
BDD  r 
)

The logical 'implication' between two bdds.

This a wrapper that calls

 bdd_apply(l,r,bddop_imp)

Returns:
The logical 'implication' of l and r ($l \Rightarrow r$).
See also:
bdd_apply, bdd_biimp

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