1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
.\" $Id: displayBdd.3,v 1.1.1.1 2002/04/03 13:13:26 ludo Exp $
.\" @(#)displayBdd.2 7.01 92/08/22 ; Labo masi cao-vlsi; Author : Luc Burgun
.TH DISPLAYBDD 3 "October 1, 1997" "ASIM/LIP6" "BDD functions"
.so man1/alc_origin.1
.SH NAME
\fBdisplayBdd\fP \- displays a BDD
.SH SYNOPSYS
.nf
#include "logmmm.h"
void displayBdd(pBdd,level)
pNode pBdd;
int level;
.fi
.SH PARAMETERS
.TP 20
\fIpBdd\fP
BDD to display
.TP 20
\fIlevel\fP
displaying level
.SH DESCRIPTION
\fBdisplayBdd()\fP displays \fIpBDD\fP. if \fIlevel= 1\fP, this function displays all the nodes of \fIpBdd\fP, if \fIlevel = 0\fP the function displays the root node of \fIpBdd\fP.
.SH EXAMPLE
.nf
#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);
.fi
.SH SEE ALSO
.BR log (1),
.BR bdd (1),
.BR createNodeTermBdd (3),
.BR applyBinBdd (3),
.BR applyBdd (3),
.BR constraintBdd (3),
.BR composeBdd (3),
.BR addListBdd (3),
.BR notBdd (3).
.so man1/alc_bug_report.1
|
