1UNMARKBDDNODE(3)                 BDD FUNCTIONS                UNMARKBDDNODE(3)
2
3
4

NAME

6       unmarkbddnode - unmarks bdd node with a specified mask.
7

SYNOPSIS

9       #include "bdd101.h"
10       long unmarkbddnode( BddSystem, BddNode, Mark )
11         bddsystem ∗BddSystem;
12         bddnode   ∗BddNode;
13         bddunmark    Mark;
14

PARAMETERS

16       BddSystem           The bdd system.
17
18       BddNode             The bdd node to unmark.
19
20       Mark                The bit mask.
21

DESCRIPTION

23       unmarkbddnode  unmarks  the bdd node BddNode with the bit mask Mark, in
24       the bdd system BddSystem.  If a null pointer is given, the default  bdd
25       system  is  used.   This function does a AND with the field MARK of the
26       bdd node BddNode, and the complemented bit mask Mark.
27

RETURN VALUE

29       unmarkbddnode returns the number of the different unmarked nodes.
30

EXAMPLE

32       #include "bdd101.h"
33          bddsystem  ∗BddSystem;
34          bddcircuit ∗BddCircuit;
35          bddnode    ∗BddNode;
36          chain_list ∗Expr;
37          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
38          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
39          Expr = createablbinexpr( ABL_AND,
40                                   createablatom( "i0" ),
41                                   createablatom( "i1" ) );
42          BddNode = addbddcircuitabl( BddCircuit, Expr );
43          freeablexpr( Expr );
44          printf( "Number nodes: %ld0,
45                  markbddnode( (bddsystem ∗)0, BddNode, 0x0001 ) );
46          unmarkbddnode( (bddsystem ∗)0, BddNode, 0x0001 );
47          destroybddsystem( (bddsystem ∗)0 );
48          destroybddcircuit( (bddcircuit ∗)0 );
49

SEE ALSO

51       bdd(1)
52
53
54
55
56
57
58ASIM/LIP6                       October 1, 1997               UNMARKBDDNODE(3)