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