Manual pages
Scope: BDD FUNCTIONS.
[ Alias ↣ ] Name (section) | Brief |
---|---|
ablToBddCct(3) | Converts an ABL into a BDD within a circuit. |
addbddassoc(3) | Creates a new association variables. |
addbddcircuitabl(3) | Converts an abl expression to a bdd node. |
addbddcircuitin(3) | Adds an input in a bdd circuit. |
addbddcircuitout(3) | Adds an output in a bdd circuit. |
addbddnode(3) | Adds a new bdd node in the bdd system. |
addbddnodeassoc(3) | Adds a bdd node in a variable association. |
addbddnodelist(3) | Adds a node in a chain_list. |
addbddvar(3) | Adds a new variable in the bdd system. |
addbddvarafter(3) | Adds a new variable, after an existing one. |
addbddvarbefore(3) | Adds a new variable, before an existing one. |
addbddvarfirst(3) | Adds a new variable, before all others. |
addbddvarlast(3) | Adds a new variable, after all others. |
addListBdd(3) | Adds a BDD to a chained list of BDDs. |
applyBdd(3) | Applies an operator to a list of BDD. |
applybddnode(3) | Applies an operator on two bdd nodes. |
applybddnodeite(3) | Computes the IF-THEN-ELSE logical operation. |
applybddnodelist(3) | Applies an opertor to a bdd nodes list. |
applybddnodenot(3) | Complements a bdd. |
applybddnodeterm(3) | Applies an operator on two bdd nodes. |
applyBinBdd(3) | Applies an operator to two BDD. |
bddToAblCct(3) | Converts a BDD into an ABL within a circuit. |
clearbddsystemref(3) | Clears the references for all bdd nodes. |
clearbddsystemrefext(3) | Clears the external references for all bdd nodes. |
clearbddsystemrefint(3) | Clears the internal references for all bdd nodes. |
cofactorbddnode(3) | Computes the generalized cofactor. |
composeBdd(3) | Substitutes an index by a BDD in another BDD. |
composebddnode(3) | Substitutes a variable by a bdd in another bdd. |
constraintBdd(3) | Restricts a BDD to another BDD. |
convertbddcircuitabl(3) | Converts a bdd node to an abl expression. |
convertbddcircuitsumabl(3) | Converts a bdd node to an abl expression. |
convertbddindexabl(3) | Converts a bdd index to an abl expression. |
convertbddmuxabl(3) | Converts two bdd nodes to an abl multiplexor expression. |
convertbddnodeabl(3) | Converts a bdd node to an abl expression. |
convertbddnodesumabl(3) | Converts a bdd node to an abl expression. |
createbddcircuit(3) | Creates a bdd circuit. |
createbddsystem(3) | Creates a bdd system. |
createNodeTermBdd(3) | Creates a terminal node of variable. |
decbddrefext(3) | Decrements the external reference of a bdd node. |
decbddrefint(3) | Decrements the internal reference of a bdd node. |
delbddassoc(3) | Deletes a variable association. |
delbddcircuitout(3) | Deletes an output in a bdd circuit. |
delbddnode(3) | Deletes an unused bdd node. |
delbddnodeassoc(3) | Deletes a bdd node in a variable association. |
delbddnodelist(3) | Deletes a list of bdd nodes. |
destroyBdd(3) | Removes the BDDs system. |
destroybddassoc(3) | Frees all the variable associations. |
destroybddcircuit(3) | Destroys a bdd circuit. |
destroybddsystem(3) | Destroys a bdd system. |
displayBdd(3) | Displays a BDD. |
existbddnodeassocoff(3) | Computes an existantial quantification. |
existbddnodeassocon(3) | Computes an existantial quantification. |
garbagebddsystem(3) | Forces a bdd garbage collection. |
gcNodeBdd(3) | Does a garbage collection. |
getbddnodenum(3) | Gets the number of nodes in a bdd. |
getbddnodesize(3) | Gets the number of nodes in a bdd. |
getbddnodesupport(3) | Gives the variable support of a bdd node. |
getbddvarbyindex(3) | Converts bdd index to a variable number. |
getbddvarindex(3) | Converts a variable number in a bdd index. |
getbddvarnode(3) | Gives the bdd node of a variable. |
getbddvarnodebyindex(3) | Gives the bdd node of a variable. |
implybddnode(3) | Computes a bdd that implies a conjonction of two bdd nodes. |
incbddrefext(3) | Increments the external reference of a bdd node. |
incbddrefint(3) | Increments the internal reference of a bdd node. |
initializeBdd(3) | Initializes the BDDs system. |
intersectbddnode(3) | Tests for an intersection between two bdd nodes. |
isbddvarinsupport(3) | Tests if a variable appears in a bdd. |
markAllBdd(3) | Marks all the nodes of the BDDs system. |
markBdd(3) | Marks all nodes of a BDD. |
markbddnode(3) | Marks bdd node with a specified mask. |
notBdd(3) | Complements a BDD. |
numberNodeAllBdd(3) | Count the number of nodes used in the BDD system. |
numberNodeBdd(3) | Computes the number of nodes used in a BDD. |
relprodbddnodeassoc(3) | Computes a relational product. |
reorderbddsystemdynamic(3) | Specifies the dynamic bdd reorder parameters. |
reorderbddsystemsimple(3) | Reorders the bdd nodes of a bdd system. |
reorderbddsystemtop(3) | Reorders the bdd nodes of a bdd system. |
reorderbddsystemwindow(3) | Reorders the bdd nodes of a bdd system. |
resetBdd(3) | Resets the BDDs system. |
resetbddcircuit(3) | Resets a bdd circuit. |
resetbddsystem(3) | Resets a bdd system. |
restrictbddnode(3) | Substitutes a variable by a zero or one, in a bdd. |
satisfybddnode(3) | Finds a satisfying path for a bdd node. |
searchbddcircuitin(3) | Searchs an input in a bdd circuit. |
searchbddcircuitout(3) | Searchs an output in a bdd circuit. |
setbddrefext(3) | Increments the external reference, and decrements the internal reference of a bdd node. |
simpbddnodedcoff(3) | Simplifies a bdd with don't cares on its off-set part. |
simpbddnodedcon(3) | Simplifies a bdd with don't cares on its on-set part. |
simplifDcOneBdd(3) | Simplifies a BDD with don't cares on its on-set part. |
simplifDcZeroBdd(3) | Simplifies a BDD with don't cares on its off-set part. |
substbddnodeassoc(3) | Substitutes a set of variables with a set of bdd node. |
supportChain_listBdd(3) | Returns a chained list of nodes that are used in a given BDD. |
swapbddvar(3) | Swaps two contiguous variables. |
testbddcircuit(3) | Debugs a bdd circuit. |
unmarkbddnode(3) | Unmarks bdd node with a specified mask. |
unsetbddrefext(3) | Increments the internal reference, and decrements the external reference of a bdd node. |
upVarBdd(3) | Brings up an index in a BDD. |
viewbddcircuit(3) | Displays a bdd circuit. |
viewbddnode(3) | Displays a bdd node. |
viewbddsystem(3) | Displays a bdd system. |
viewbddsysteminfo(3) | Displays statistical informations. |