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