BDD101(1)

NAME
bdd - Mutli Reduced Ordered Binary Decision Diagrams

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

SEE ALSO
aut(1),abl(1).