SIMPLE SOLUTIONS

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.