bdd(1) Mutli Reduced Ordered Binary Decision Diagrams

DESCRIPTION

bdd is a library that enables to represent a boolean expression as a Multi Reduced Ordered Binary Decision Diagrams.

viewbddallocinfo - displays memory informations.
applybddnodenot
- complements a bdd.
applybddnodeterm
- applies an operator on two bdd nodes.
applybddnode
- applies an operator on two bdd nodes.
applybddnodeite
- computes the IF-THEN-ELSE logical operation.
applybddnodelist
- applies an opertor to a bdd nodes list.
addbddassoc
- creates a new association variables.
addbddnodeassoc
- adds a bdd node in a variable association.
delbddassoc
- deletes a variable association.
delbddnodeassoc
- deletes a bdd node in a variable association.
destroybddassoc
- frees all the variable associations.
viewbddassoc
- displays variable associations.
checkbddvar
- checks the coherence of a variable.
checkbddindex
- checks the coherence of a bdd index.
checkbddoper
- ckecks the coherence of an operator.
checkbddassoc
- checks a variable association.
checkbddmaxnode
- checks if the max node reached.
createbddcircuit
- creates a bdd circuit.
resetbddcircuit
- resets a bdd circuit.
destroybddcircuit
- frees a bdd circuit.
searchbddcircuitin
- searches a specified input in a circuit.
addbddcircuitin
- adds a new input in a circuit.
addbddcircuitaux
- adds an auxialiary variable in a circuit.
searchbddcircuitout
- searches a specified output in a circuit.
addbddcircuitout
- adds a new output in a circuit.
delbddcircuitout
- deletes a specified output in a circuit.
addbddcircuitabl
- converts an abl to a bdd node.
convertbddcircuitabl
- converts a bdd node to an abl.
convertbddcircuitsumabl
- converts a bdd node to an abl.
viewbddcircuit
- displays a bdd circuit.
cofactorbddnode
- computes the generalized cofactor.
restrictbddnode
- substitutes a variable by zero or one.
composebddnode
- substitutes a variable by a bdd node.
convertbddindexabl
- converts a bdd index to an atomic abl.
convertbddmuxabl
- converts a bdd node to a multiplexor.
convertbddnodeabl
- converts a bdd node to an abl.
convertbddnodesumabl
- converts a bdd node to an abl.
existbddnodeassocon
- computes an existantial quantification.
existbddnodeassocoff
- computes an existantial quantification.
garbagebddsystem
- forces a bdd garbage collection.
implybddnode
- computes a bdd that implies a conjonction.
intersectbddnode
- tests for an intersection.
markbddnode
- marks a bdd node.
unmarkbddnode
- clears a marked bdd node.
getbddnodenum
- gets the number of nodes in a bdd.
getbddnodesize
- gets the number of nodes in a bdd.
addbddnode
- adds a new bdd node.
addbddnodelist
- adds a node in a chain_list.
delbddnode
- deletes a bdd node.
delbddnodelist
- deletes a list of bdd nodes.
viewbddnode
- displays a bdd node.
incbddrefext
- increments the number of external reference.
incbddrefint
- increments the number of internal reference.
decbddrefext
- decrements the number of external reference.
decbddrefint
- decrements the number of internal reference.
setbddrefext
- sets a node visible from outside.
unsetbddrefext
- sets a node invisible from outside.
clearbddsystemrefint
- clears all the internal references.
clearbddsystemrefext
- clears all the external references.
clearbddsystemref
- clears all the references.
relprodbddnodeassoc
- computes a relation product.
reorderbddsystemsimple
- reorders the bdd nodes.
reorderbddsystemwindow
- reorders the bdd nodes.
reorderbddsystemtop
- reorders the bdd nodes.
reorderbddsystemdynamic
- sets the dynamic reorder parameters.
satisfybddnode
- finds a satisfying path for a bdd.
simpbddnodedcon
- simplifies a bdd with don't cares on its on-set.
simpbddnodedcoff
- simplifies a bdd with don't cares on its off-set
substbddnodeassoc
- substitutes variables with bdd nodes.
getbddnodesupport
- gives the support of a bdd node.
isbddvarinsupport
- checks if a variable appears in a bdd node.
createbddsystem
- creates a bdd system.
resetbddsystem
- resets a bdd system.
destroybddsystem
- frees a bdd system.
viewbddsystem
- displays a bdd system.
viewbddsysteminfo
- displays statisticals informations.
testbddcircuit
- debbugs a bdd circuit.
addbddvar
- creates a new variable.
addbddvarlast
- creates a new variable.
addbddvarfirst
- creates a new variable.
addbddvarbefore
- creates a new variable.
addbddvarafter
- creates a new variable.
sweepbddvar
- sweeps all the unused nodes for a variable.
swapbddvar
- swaps two contigous variables.
getbddvarbyindex
- converts bdd index to a variable number.
getbddvarindex
- converts a variable number in a bdd index.
getbddvarnode
- gives the bdd node of a variable.
getbddvarnodebyindex
- gives the bdd node of a variable.
addbddvarauxsingle
- creates an auxiliary variable.
addbddvarauxglobal
- creates an auxiliary variable.

libBdd101.a :

allocbdduserfunc, allocbddheath, allocbddhnode, allocbddhoper, allocbddhnodetable, allocbddhopertable, allocbddblock, allocbddnodeblock, allocbddvartree, allocbddvarchild, allocbddvarnode, allocbddindexnode, allocbddvar, allocbddindex, allocbddassoc, allocbddassocnode, allocbddnamein, allocbddindexin, allocbddsystem, allocbddcircuit, viewbddallocinfo, applybddnodenot, applybddnodeterm, applybddnode, applybddnodeite, applybddnodelist, addbddassoc, addbddnodeassoc, delbddassoc, delbddnodeassoc, destroybddassoc, viewbddassoc, addbddblock, createbddblock, resetbddblock, destroybddblock, viewbddblock, checkbddvar, checkbddindex, checkbddoper, checkbddassoc, checkbddmaxnode, createbddcircuit, resetbddcircuit, destroybddcircuit, searchbddcircuitin, addbddcircuitin, addbddcircuitaux, searchbddcircuitout, addbddcircuitout, delbddcircuitout, addbddcircuitabl, convertbddcircuitabl, convertbddcircuitsumabl, viewbddcircuit, cofactorbddnode, restrictbddnode, composebddnode, convertbddindexabl, convertbddmuxabl, convertbddnodeabl, convertbddnodesumabl, existbddnodeassocon, existbddnodeassocoff, freebdduserfunc, freebddheath, freebddhnode, freebddhoper, freebddhnodetable, freebddhopertable, freebddblock, freebddnodeblock, freebddvartree, freebddvarchild, freebddvarnode, freebddindexnode, freebddvar, freebddindex, freebddassoc, freebddassocnode, freebddnamein, freebddindexin, freebddsystem, freebddcircuit, garbagebddsystem, getbddheathvar, getbddheath, delbddheath, setbddhnodefunc, getbddhnodesize, getbddhnodekey, getbddhnodeindex, checkbddhnode, createbddhnodetable, destroybddhnodetable, resetbddhnodetable, resizebddhnodetable, stretchbddhnodetable, addbddhnode, delbddhnode, viewbddhnode, viewbddhnodetable, viewbddindexnode, viewbddvarnode, setbddhoperfunc, getbddhopersize, getbddhoperkey, createbddhopertable, destroybddhopertable, resetbddhopertable, addbddhoper, searchbddhoper, viewbddhoper, viewbddhopertable, implybddnode, intersectbddnode, markbddnode, unmarkbddnode, getbddnodenum, getbddnodesize, addbddnode, addbddnodelist, delbddnode, delbddnodelist, viewbddnode, incbddrefext, incbddrefint, decbddrefext, decbddrefint, setbddrefext, unsetbddrefext, clearbddsystemrefint, clearbddsystemrefext, clearbddsystemref, relprodbddnodeassoc, reorderbddvartreewindow2, reorderbddvartreewindow3, reorderbddsystemsimple, reorderbddsystemwindow, reorderbddsystemtop, reorderbddsystemdynamic, resizebddvarchild, resizebddvarnode, resizebddvar, resizebddindexnode, resizebddindex, resizebddassocnode, resizebddnamein, resizebddindexin, satisfybddnode, simpbddnodedcon, simpbddnodedcoff, substbddnodeassoc, getbddnodesupport, isbddvarinsupport, createbddsystem, resetbddsystem, destroybddsystem, viewbddsystem, viewbddsysteminfo, testbddcircuit, addbdduserfunc, delbdduserfunc, execbdduserfunc, destroybdduserfunc, newbddvar, addbddvar, addbddvarlast, addbddvarfirst, addbddvarbefore, addbddvarafter, sweepbddvar, swapbddvar, getbddvarbyindex, getbddvarindex, getbddvarnode, getbddvarnodebyindex, addbddvarauxsingle, addbddvarauxglobal, searchbddvartree, deltabddvartree, shiftbddvartree, addbddvartree, swapbddvartree, createbddvartree, resetbddvartree, destroybddvartree, viewbddvartree.