ORIGIN¶
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at
LIP6 laboratory of Université 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.