Main Page
Modules
Data Structures
Files
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_and
(
BDD
l
,
BDD
r
)
The logical 'and' of two bdds.
This a wrapper that calls
bdd_apply
(l,r,
bddop_and
)
Returns:
The logical 'and' of
l
and
r
.
See also:
bdd_apply
,
bdd_or
,
bdd_xor
Generated on Mon Jul 23 13:25:16 2007 for BuDDy by
1.5.1
