Expand description
Wraps the sylvan_mtbdd.h declarations.
Structs§
- MTBDD
Enum Trace - Skip
List - An opaque C struct representing a skip list used during serialisation.
Functions§
- Sylvan_
count_ ⚠protected - Sylvan_
count_ ⚠refs - Sylvan_
deref ⚠ - Sylvan_
fprintdot ⚠ - Sylvan_
fprintsha ⚠ - Sylvan_
gc_ ⚠mark_ rec - Sylvan_
getsha ⚠ - Sylvan_
high ⚠ - Sylvan_
init_ ⚠bdd - Sylvan_
init_ ⚠mtbdd - Sylvan_
ithvar ⚠ - Sylvan_
low ⚠ - Sylvan_
makenode ⚠ - Sylvan_
map_ ⚠add - Sylvan_
map_ ⚠addall - Sylvan_
map_ ⚠contains - Sylvan_
map_ ⚠count - Sylvan_
map_ ⚠empty - Sylvan_
map_ ⚠isempty - Sylvan_
map_ ⚠key - Sylvan_
map_ ⚠next - Sylvan_
map_ ⚠remove - Sylvan_
map_ ⚠removeall - Sylvan_
map_ ⚠value - Sylvan_
mtbdd_ ⚠abstract - Sylvan_
mtbdd_ ⚠abstract_ max - Sylvan_
mtbdd_ ⚠abstract_ min - Sylvan_
mtbdd_ ⚠abstract_ plus - Sylvan_
mtbdd_ ⚠abstract_ times - Sylvan_
mtbdd_ ⚠and_ abstract_ max - Sylvan_
mtbdd_ ⚠and_ abstract_ plus - Sylvan_
mtbdd_ ⚠and_ exists - Sylvan_
mtbdd_ ⚠apply - Sylvan_
mtbdd_ ⚠applyp - Sylvan_
mtbdd_ ⚠cmpl - Sylvan_
mtbdd_ ⚠comp - Sylvan_
mtbdd_ ⚠compose - Sylvan_
mtbdd_ ⚠count_ protected - Sylvan_
mtbdd_ ⚠count_ refs - Sylvan_
mtbdd_ ⚠cube - Sylvan_
mtbdd_ ⚠deref - Sylvan_
mtbdd_ ⚠double - Sylvan_
mtbdd_ ⚠enum_ all_ first - Sylvan_
mtbdd_ ⚠enum_ all_ next - Sylvan_
mtbdd_ ⚠enum_ first - Sylvan_
mtbdd_ ⚠enum_ next - Sylvan_
mtbdd_ ⚠enum_ par - Sylvan_
mtbdd_ ⚠equal_ norm_ d - Sylvan_
mtbdd_ ⚠equal_ norm_ rel_ d - Sylvan_
mtbdd_ ⚠eval_ compose - Sylvan_
mtbdd_ ⚠fprint_ leaf - Sylvan_
mtbdd_ ⚠fprintdot - Sylvan_
mtbdd_ ⚠fprintdot_ nc - Sylvan_
mtbdd_ ⚠fprintsha - Sylvan_
mtbdd_ ⚠fraction - Sylvan_
mtbdd_ ⚠fromarray - Sylvan_
mtbdd_ ⚠gc_ mark_ rec - Sylvan_
mtbdd_ ⚠geq - Sylvan_
mtbdd_ ⚠getdenom - Sylvan_
mtbdd_ ⚠getdouble - Sylvan_
mtbdd_ ⚠gethigh - Sylvan_
mtbdd_ ⚠getint64 - Sylvan_
mtbdd_ ⚠getlow - Sylvan_
mtbdd_ ⚠getnumer - Sylvan_
mtbdd_ ⚠getsha - Sylvan_
mtbdd_ ⚠gettype - Sylvan_
mtbdd_ ⚠getvalue - Sylvan_
mtbdd_ ⚠getvar - Sylvan_
mtbdd_ ⚠greater - Sylvan_
mtbdd_ ⚠hascomp - Sylvan_
mtbdd_ ⚠int64 - Sylvan_
mtbdd_ ⚠isleaf - Sylvan_
mtbdd_ ⚠isnode - Sylvan_
mtbdd_ ⚠ite - Sylvan_
mtbdd_ ⚠ithvar - Sylvan_
mtbdd_ ⚠leaf_ to_ str - Sylvan_
mtbdd_ ⚠leafcount - Sylvan_
mtbdd_ ⚠leafcount_ more - Sylvan_
mtbdd_ ⚠leq - Sylvan_
mtbdd_ ⚠less - Sylvan_
mtbdd_ ⚠makeleaf - Sylvan_
mtbdd_ ⚠makenode - Sylvan_
mtbdd_ ⚠map_ add - Sylvan_
mtbdd_ ⚠map_ addall - Sylvan_
mtbdd_ ⚠map_ contains - Sylvan_
mtbdd_ ⚠map_ count - Sylvan_
mtbdd_ ⚠map_ empty - Sylvan_
mtbdd_ ⚠map_ isempty - Sylvan_
mtbdd_ ⚠map_ key - Sylvan_
mtbdd_ ⚠map_ next - Sylvan_
mtbdd_ ⚠map_ remove - Sylvan_
mtbdd_ ⚠map_ removeall - Sylvan_
mtbdd_ ⚠map_ update - Sylvan_
mtbdd_ ⚠map_ value - Sylvan_
mtbdd_ ⚠max - Sylvan_
mtbdd_ ⚠maximum - Sylvan_
mtbdd_ ⚠min - Sylvan_
mtbdd_ ⚠minimum - Sylvan_
mtbdd_ ⚠minus - Sylvan_
mtbdd_ ⚠negate - Sylvan_
mtbdd_ ⚠nodecount - Sylvan_
mtbdd_ ⚠nodecount_ more - Sylvan_
mtbdd_ ⚠not - Sylvan_
mtbdd_ ⚠plus - Sylvan_
mtbdd_ ⚠print_ leaf - Sylvan_
mtbdd_ ⚠printdot - Sylvan_
mtbdd_ ⚠printdot_ nc - Sylvan_
mtbdd_ ⚠printsha - Sylvan_
mtbdd_ ⚠protect - Sylvan_
mtbdd_ ⚠reader_ end - Sylvan_
mtbdd_ ⚠reader_ frombinary - Sylvan_
mtbdd_ ⚠reader_ get - Sylvan_
mtbdd_ ⚠reader_ readbinary - Sylvan_
mtbdd_ ⚠ref - Sylvan_
mtbdd_ ⚠refs_ pop - Sylvan_
mtbdd_ ⚠refs_ popptr - Sylvan_
mtbdd_ ⚠refs_ push - Sylvan_
mtbdd_ ⚠refs_ pushptr - Sylvan_
mtbdd_ ⚠refs_ spawn - Sylvan_
mtbdd_ ⚠refs_ sync - Sylvan_
mtbdd_ ⚠satcount - Sylvan_
mtbdd_ ⚠set_ add - Sylvan_
mtbdd_ ⚠set_ addall - Sylvan_
mtbdd_ ⚠set_ contains - Sylvan_
mtbdd_ ⚠set_ count - Sylvan_
mtbdd_ ⚠set_ empty - Sylvan_
mtbdd_ ⚠set_ first - Sylvan_
mtbdd_ ⚠set_ from_ array - Sylvan_
mtbdd_ ⚠set_ fromarray - Sylvan_
mtbdd_ ⚠set_ in - Sylvan_
mtbdd_ ⚠set_ isempty - Sylvan_
mtbdd_ ⚠set_ minus - Sylvan_
mtbdd_ ⚠set_ next - Sylvan_
mtbdd_ ⚠set_ remove - Sylvan_
mtbdd_ ⚠set_ removeall - Sylvan_
mtbdd_ ⚠set_ to_ array - Sylvan_
mtbdd_ ⚠set_ toarray - Sylvan_
mtbdd_ ⚠set_ union - Sylvan_
mtbdd_ ⚠strict_ threshold_ double - Sylvan_
mtbdd_ ⚠support - Sylvan_
mtbdd_ ⚠test_ isset - Sylvan_
mtbdd_ ⚠test_ isvalid - Sylvan_
mtbdd_ ⚠threshold_ double - Sylvan_
mtbdd_ ⚠times - Sylvan_
mtbdd_ ⚠uapply - Sylvan_
mtbdd_ ⚠union_ cube - Sylvan_
mtbdd_ ⚠unprotect - Sylvan_
mtbdd_ ⚠visit_ par - Sylvan_
mtbdd_ ⚠visit_ seq - Sylvan_
mtbdd_ ⚠writer_ add - Sylvan_
mtbdd_ ⚠writer_ end - Sylvan_
mtbdd_ ⚠writer_ get - Sylvan_
mtbdd_ ⚠writer_ start - Sylvan_
mtbdd_ ⚠writer_ tobinary - Sylvan_
mtbdd_ ⚠writer_ totext - Sylvan_
mtbdd_ ⚠writer_ writebinary - Sylvan_
nodecount ⚠ - Sylvan_
printdot ⚠ - Sylvan_
printsha ⚠ - Sylvan_
protect ⚠ - Sylvan_
ref ⚠ - Sylvan_
refs_ ⚠pop - Sylvan_
refs_ ⚠popptr - Sylvan_
refs_ ⚠push - Sylvan_
refs_ ⚠pushptr - Sylvan_
refs_ ⚠spawn - Sylvan_
refs_ ⚠sync - Sylvan_
set_ ⚠add - Sylvan_
set_ ⚠addall - Sylvan_
set_ ⚠count - Sylvan_
set_ ⚠empty - Sylvan_
set_ ⚠first - Sylvan_
set_ ⚠fromarray - Sylvan_
set_ ⚠in - Sylvan_
set_ ⚠isempty - Sylvan_
set_ ⚠next - Sylvan_
set_ ⚠remove - Sylvan_
set_ ⚠removeall - Sylvan_
set_ ⚠toarray - Sylvan_
support ⚠ - Sylvan_
test_ ⚠isbdd - Sylvan_
test_ ⚠isset - Sylvan_
unprotect ⚠ - Sylvan_
var ⚠