displayBdd

Langue: en

Version: October 1, 1997 (fedora - 05/07/09)

Section: 3 (Bibliothèques de fonctions)

man2html: unable to open or read file man1/alc_origin.1

NAME

displayBdd - displays a BDD

SYNOPSYS

 #include "logmmm.h"
 void displayBdd(pBdd,level)
 pNode pBdd;
 int level;
 

PARAMETERS

pBdd
BDD to display
level
displaying level

DESCRIPTION

displayBdd() displays pBDD. if level= 1, this function displays all the nodes of pBdd, if level = 0 the function displays the root node of pBdd.

EXAMPLE

 #include "mutnnn.h"             /* mbk utilities */
 #include "logmmm.h"
 pNode nodeA,nodeB,nodeC;
 pNode res;
 
 initializeBdd(SMALL_BDD);
 nodeA = createNodeTermBdd(3);
 nodeB = createNodeTermBdd(3);
 nodeC = createNodeTermBdd(4);
 
 res = applyBinBdd(OR,applyBinBdd(AND,nodeB,nodeC),nodeA);  
                 /* corresponding to  (OR (AND b c) a) */
 
 displayBdd(res,1);
 
 /* it will display 
 @res      INDEX = 4   LOW = @nodeA   HIGH = @inter1
 @nodeA    INDEX = 2   LOW = ZERO     HIGH = ONE
 @inter1   INDEX = 3   LOW = @nodeA   HIGH = ONE
 */
 
 displayBdd(res,0);
 
 /* it will display 
 @res      INDEX = 4   LOW = @nodeA   HIGH = @inter1
 */
 
 destroyBdd(1);
 

SEE ALSO

log(1), bdd(1), createNodeTermBdd(3), applyBinBdd(3), applyBdd(3), constraintBdd(3), composeBdd(3), addListBdd(3), notBdd(3).
man2html: unable to open or read file man1/alc_bug_report.1