DISPLAYBDD(3) BDD functions DISPLAYBDD(3)
ORIGIN
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
Paris, France.
Web : http://asim.lip6.fr/recherche/alliance/
E-mail : alliance-users@asim.lip6.fr
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).
BUG REPORT
This tool is under development at the ASIM department of the LIP6 laboratory.
We need your feedback to improve documentation and tools.
ASIM
/LIP6 October 1, 1997 DISPLAYBDD(3)
