bdd1

Overview

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.