BDD(1) - Linux man page online | User commands

Mutli Reduced Ordered Binary Decision Diagrams.

October 1, 1997


bdd - Mutli Reduced Ordered Binary Decision Diagrams


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, allocb‐ ddhopertable, allocbddblock, allocbddnodeblock, allocbddvartree, allocbddvarchild, allocb‐ ddvarnode, allocbddindexnode, allocbddvar, allocbddindex, allocbddassoc, allocbddassocn‐ ode, allocbddnamein, allocbddindexin, allocbddsystem, allocbddcircuit, viewbddallocinfo, applybddnodenot, applybddnodeterm, applybddnode, applybddnodeite, applybddnodelist, addbd‐ dassoc, addbddnodeassoc, delbddassoc, delbddnodeassoc, destroybddassoc, viewbddassoc, addbddblock, createbddblock, resetbddblock, destroybddblock, viewbddblock, checkbddvar, checkbddindex, checkbddoper, checkbddassoc, checkbddmaxnode, createbddcircuit, resetbdd‐ circuit, destroybddcircuit, searchbddcircuitin, addbddcircuitin, addbddcircuitaux, searchbddcircuitout, addbddcircuitout, delbddcircuitout, addbddcircuitabl, convertbddcir‐ cuitabl, convertbddcircuitsumabl, viewbddcircuit, cofactorbddnode, restrictbddnode, com‐ posebddnode, convertbddindexabl, convertbddmuxabl, convertbddnodeabl, convertbddnodesum‐ abl, existbddnodeassocon, existbddnodeassocoff, freebdduserfunc, freebddheath, freebddhn‐ ode, freebddhoper, freebddhnodetable, freebddhopertable, freebddblock, freebddnodeblock, freebddvartree, freebddvarchild, freebddvarnode, freebddindexnode, freebddvar, freebddin‐ dex, freebddassoc, freebddassocnode, freebddnamein, freebddindexin, freebddsystem, freebd‐ dcircuit, garbagebddsystem, getbddheathvar, getbddheath, delbddheath, setbddhnodefunc, getbddhnodesize, getbddhnodekey, getbddhnodeindex, checkbddhnode, createbddhnodetable, destroybddhnodetable, resetbddhnodetable, resizebddhnodetable, stretchbddhnodetable, addb‐ ddhnode, delbddhnode, viewbddhnode, viewbddhnodetable, viewbddindexnode, viewbddvarnode, setbddhoperfunc, getbddhopersize, getbddhoperkey, createbddhopertable, destroybddhop‐ ertable, resetbddhopertable, addbddhoper, searchbddhoper, viewbddhoper, viewbddhopertable, implybddnode, intersectbddnode, markbddnode, unmarkbddnode, getbddnodenum, getbddnodesize, addbddnode, addbddnodelist, delbddnode, delbddnodelist, viewbddnode, incbddrefext, incbd‐ drefint, decbddrefext, decbddrefint, setbddrefext, unsetbddrefext, clearbddsystemrefint, clearbddsystemrefext, clearbddsystemref, relprodbddnodeassoc, reorderbddvartreewindow2, reorderbddvartreewindow3, reorderbddsystemsimple, reorderbddsystemwindow, reorderbddsys‐ temtop, 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, deltabd‐ dvartree, shiftbddvartree, addbddvartree, swapbddvartree, createbddvartree, resetbd‐ dvartree, destroybddvartree, viewbddvartree.


ASIM/LIP6 October 1, 1997 BDD101(1)
This manual Reference Other manuals
bdd(1) referred by ablToBddCct(3) | addbddassoc(3) | addbddcircuitabl(3) | addbddcircuitin(3) | addbddcircuitout(3) | addbddnode(3) | addbddnodeassoc(3) | addbddnodelist(3) | addbddvar(3) | addbddvarafter(3) | addbddvarbefore(3) | addbddvarfirst(3) | addbddvarlast(3) | addListBdd(3) | applyBdd(3) | applybddnode(3) | applybddnodeite(3) | applybddnodelist(3) | applybddnodenot(3) | applybddnodeterm(3)
refer to abl(1) | aut(1)
Download raw manual
Index ALLIANCE BDD LIBRARY (+1) ASIM/LIP6 (+480) № 1 (+39907)
Go top