Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
BDD101(1)		     ALLIANCE BDD LIBRARY		     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, allocbd-
       dhnodetable,  allocbddhopertable, allocbddblock,	allocbddnodeblock, al-
       locbddvartree,  allocbddvarchild,  allocbddvarnode,  allocbddindexnode,
       allocbddvar,  allocbddindex,  allocbddassoc, allocbddassocnode, allocb-
       ddnamein, allocbddindexin, allocbddsystem, allocbddcircuit,  viewbddal-
       locinfo,	  applybddnodenot,   applybddnodeterm,	applybddnode,  applyb-
       ddnodeite, applybddnodelist, addbddassoc, addbddnodeassoc, delbddassoc,
       delbddnodeassoc,	 destroybddassoc, viewbddassoc,	addbddblock, createbd-
       dblock,	resetbddblock,	destroybddblock,  viewbddblock,	  checkbddvar,
       checkbddindex, checkbddoper, checkbddassoc, checkbddmaxnode, createbdd-
       circuit,	resetbddcircuit, destroybddcircuit, searchbddcircuitin,	addbd-
       dcircuitin,  addbddcircuitaux,  searchbddcircuitout,  addbddcircuitout,
       delbddcircuitout, addbddcircuitabl,  convertbddcircuitabl,  convertbdd-
       circuitsumabl,  viewbddcircuit,	cofactorbddnode, restrictbddnode, com-
       posebddnode, convertbddindexabl,	 convertbddmuxabl,  convertbddnodeabl,
       convertbddnodesumabl, existbddnodeassocon, existbddnodeassocoff,	freeb-
       dduserfunc,  freebddheath,   freebddhnode,   freebddhoper,   freebddhn-
       odetable,  freebddhopertable,  freebddblock,  freebddnodeblock, freebd-
       dvartree, freebddvarchild,  freebddvarnode,  freebddindexnode,  freebd-
       dvar,   freebddindex,  freebddassoc,  freebddassocnode,	freebddnamein,
       freebddindexin, freebddsystem, freebddcircuit, garbagebddsystem,	getbd-
       dheathvar,  getbddheath,	delbddheath, setbddhnodefunc, getbddhnodesize,
       getbddhnodekey, getbddhnodeindex,  checkbddhnode,  createbddhnodetable,
       destroybddhnodetable,	  resetbddhnodetable,	  resizebddhnodetable,
       stretchbddhnodetable, addbddhnode, delbddhnode,	viewbddhnode,  viewbd-
       dhnodetable,  viewbddindexnode, viewbddvarnode, setbddhoperfunc,	getbd-
       dhopersize, getbddhoperkey, createbddhopertable,	 destroybddhopertable,
       resetbddhopertable,  addbddhoper, searchbddhoper, viewbddhoper, viewbd-
       dhopertable,  implybddnode,  intersectbddnode,  markbddnode,   unmarkb-
       ddnode,	 getbddnodenum,	 getbddnodesize,  addbddnode,  addbddnodelist,
       delbddnode, delbddnodelist,  viewbddnode,  incbddrefext,	 incbddrefint,
       decbddrefext,  decbddrefint, setbddrefext, unsetbddrefext, clearbddsys-
       temrefint, clearbddsystemrefext,	 clearbddsystemref,  relprodbddnodeas-
       soc, reorderbddvartreewindow2, reorderbddvartreewindow3,	reorderbddsys-
       temsimple, reorderbddsystemwindow, reorderbddsystemtop,	reorderbddsys-
       temdynamic, resizebddvarchild, resizebddvarnode,	resizebddvar, resizeb-
       ddindexnode, resizebddindex, resizebddassocnode,	 resizebddnamein,  re-
       sizebddindexin, satisfybddnode, simpbddnodedcon,	simpbddnodedcoff, sub-
       stbddnodeassoc, getbddnodesupport, isbddvarinsupport,  createbddsystem,
       resetbddsystem,	 destroybddsystem,  viewbddsystem,  viewbddsysteminfo,
       testbddcircuit, addbdduserfunc,	delbdduserfunc,	 execbdduserfunc,  de-
       stroybdduserfunc,  newbddvar, addbddvar,	addbddvarlast, addbddvarfirst,
       addbddvarbefore,	addbddvarafter,	 sweepbddvar,  swapbddvar,  getbddvar-
       byindex,	getbddvarindex,	getbddvarnode, getbddvarnodebyindex, addbddva-
       rauxsingle,  addbddvarauxglobal,	  searchbddvartree,   deltabddvartree,
       shiftbddvartree,	 addbddvartree,	 swapbddvartree, createbddvartree, re-
       setbddvartree, destroybddvartree, viewbddvartree.

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

ASIM/LIP6			October	1, 1997			     BDD101(1)

NAME | DESCRIPTION | SEE ALSO

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=bdd&sektion=1&manpath=FreeBSD+12.0-RELEASE+and+Ports>

home | help