Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Contact Us
Online Help
Domain Status
Man Pages

Virtual Servers

Topology Map

Server Agreement
Year 2038

USA Flag



Man Pages

Manual Reference Pages  -  BDD (1)


bdd - Mutli Reduced Ordered Binary Decision Diagrams

[Include document man1/alc_origin.1]


See Also


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.
  - 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.
  - reorders the bdd nodes.
  - reorders the bdd nodes.
reorderbddsystemtop - reorders the bdd nodes.
  - 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.


aut(1), abl(1).

[Include document man1/alc_bug_report.1]

Search for    or go to Top of page |  Section 1 |  Main Index

ASIM/LIP6 BDD101 (1) October 1, 1997

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.