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

NAME

6       markbddnode - marks bdd node with a specified mask.
7

SYNOPSIS

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

PARAMETERS

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

DESCRIPTION

23       markbddnode  marks  the bdd node BddNode with the bit mask Mark, in the
24       bdd system BddSystem.  If a null pointer is given, the default bdd sys‐
25       tem  is  used.   This function does a OR with the field MARK of the bdd
26       node BddNode, and the bit mask Mark.
27

RETURN VALUE

29       markbddnode returns the number of the different marked 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                 MARKBDDNODE(3)