DISPLAYBDD(3) BDD functions DISPLAYBDD(3) NAME displayBdd - displays a BDD SYNOPSIS #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), con- straintBdd(3), composeBdd(3), addListBdd(3), notBdd(3). ASIM/LIP6 October 1, 1997 DISPLAYBDD(3)
NAME | SYNOPSIS | PARAMETERS | DESCRIPTION | EXAMPLE | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=displayBdd&sektion=3&manpath=FreeBSD+Ports+15.1.quarterly>