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.