Expand description
Wraps the sylvan_ldd.h declarations.
Structs§
Functions§
- Sylvan_
init_ ⚠ldd - Sylvan_
lddmc_ ⚠collect - Sylvan_
lddmc_ ⚠compose - Sylvan_
lddmc_ ⚠count_ protected - Sylvan_
lddmc_ ⚠count_ refs - Sylvan_
lddmc_ ⚠cube - Sylvan_
lddmc_ ⚠cube_ copy - Sylvan_
lddmc_ ⚠deref - Sylvan_
lddmc_ ⚠extendnode - Sylvan_
lddmc_ ⚠follow - Sylvan_
lddmc_ ⚠followcopy - Sylvan_
lddmc_ ⚠fprint - Sylvan_
lddmc_ ⚠fprintdot - Sylvan_
lddmc_ ⚠fprintsha - Sylvan_
lddmc_ ⚠gc_ mark_ rec - Sylvan_
lddmc_ ⚠getdown - Sylvan_
lddmc_ ⚠getright - Sylvan_
lddmc_ ⚠getsha - Sylvan_
lddmc_ ⚠getvalue - Sylvan_
lddmc_ ⚠intersect - Sylvan_
lddmc_ ⚠iscopy - Sylvan_
lddmc_ ⚠join - Sylvan_
lddmc_ ⚠make_ copynode - Sylvan_
lddmc_ ⚠makenode - Sylvan_
lddmc_ ⚠match - Sylvan_
lddmc_ ⚠match_ sat_ par - Sylvan_
lddmc_ ⚠member_ cube - Sylvan_
lddmc_ ⚠member_ cube_ copy - Sylvan_
lddmc_ ⚠minus - Sylvan_
lddmc_ ⚠nodecount - Sylvan_
lddmc_ ⚠nodecount_ levels - Sylvan_
lddmc_ ⚠pick_ cube - Sylvan_
lddmc_ ⚠print - Sylvan_
lddmc_ ⚠printdot - Sylvan_
lddmc_ ⚠printsha - Sylvan_
lddmc_ ⚠project - Sylvan_
lddmc_ ⚠project_ minus - Sylvan_
lddmc_ ⚠protect - Sylvan_
lddmc_ ⚠ref - Sylvan_
lddmc_ ⚠refs_ pop - Sylvan_
lddmc_ ⚠refs_ popptr - Sylvan_
lddmc_ ⚠refs_ push - Sylvan_
lddmc_ ⚠refs_ pushptr - Sylvan_
lddmc_ ⚠refs_ spawn - Sylvan_
lddmc_ ⚠refs_ sync - Sylvan_
lddmc_ ⚠relprev - Sylvan_
lddmc_ ⚠relprod - Sylvan_
lddmc_ ⚠relprod_ union - Sylvan_
lddmc_ ⚠sat_ all_ nopar - Sylvan_
lddmc_ ⚠sat_ all_ par - Sylvan_
lddmc_ ⚠sat_ one - Sylvan_
lddmc_ ⚠sat_ one_ mdd - Sylvan_
lddmc_ ⚠satcount_ cached - Sylvan_
lddmc_ ⚠serialize_ add - Sylvan_
lddmc_ ⚠serialize_ fromfile - Sylvan_
lddmc_ ⚠serialize_ get - Sylvan_
lddmc_ ⚠serialize_ get_ reversed - Sylvan_
lddmc_ ⚠serialize_ reset - Sylvan_
lddmc_ ⚠serialize_ tofile - Sylvan_
lddmc_ ⚠serialize_ totext - Sylvan_
lddmc_ ⚠union - Sylvan_
lddmc_ ⚠union_ cube - Sylvan_
lddmc_ ⚠union_ cube_ copy - Sylvan_
lddmc_ ⚠unprotect - Sylvan_
lddmc_ ⚠visit_ par - Sylvan_
lddmc_ ⚠visit_ seq - Sylvan_
lddmc_ ⚠zip