displaybdd(3) - Linux man page

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

Referenced By