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. |