Expand description
Wraps the sylvan_bdd.h declarations.
Functions§
- Sylvan_
and ⚠ - Sylvan_
and_ ⚠exists - Sylvan_
and_ ⚠project - Sylvan_
biimp ⚠ - Sylvan_
closure ⚠ - Sylvan_
collect ⚠ - Sylvan_
compose ⚠ - Sylvan_
constrain ⚠ - Sylvan_
cube ⚠ - Sylvan_
diff ⚠ - Sylvan_
enum ⚠ - Sylvan_
enum_ ⚠par - Sylvan_
equiv ⚠ - Sylvan_
exists ⚠ - Sylvan_
forall ⚠ - Sylvan_
fprint ⚠ - Sylvan_
get_ ⚠granularity - Sylvan_
imp ⚠ - Sylvan_
invimp ⚠ - Sylvan_
isconst ⚠ - Sylvan_
isnode ⚠ - Sylvan_
ite ⚠ - Sylvan_
less ⚠ - Sylvan_
nand ⚠ - Sylvan_
nithvar ⚠ - Sylvan_
nor ⚠ - Sylvan_
not ⚠ - Sylvan_
or ⚠ - Sylvan_
pathcount ⚠ - Sylvan_
pick_ ⚠cube - Sylvan_
pick_ ⚠single_ cube - Sylvan_
print ⚠ - Sylvan_
project ⚠ - Sylvan_
relnext ⚠ - Sylvan_
relprev ⚠ - Sylvan_
restrict ⚠ - Sylvan_
sat_ ⚠one - Sylvan_
sat_ ⚠one_ bdd - Sylvan_
sat_ ⚠single - Sylvan_
satcount ⚠ - Sylvan_
serialize_ ⚠add - Sylvan_
serialize_ ⚠fromfile - Sylvan_
serialize_ ⚠get - Sylvan_
serialize_ ⚠get_ reversed - Sylvan_
serialize_ ⚠reset - Sylvan_
serialize_ ⚠tofile - Sylvan_
serialize_ ⚠totext - Sylvan_
set_ ⚠granularity - Sylvan_
union_ ⚠cube - Sylvan_
xor ⚠