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

NAME

6       applybddnodenot - complements a bdd.
7

SYNOPSIS

9       #include "bdd101.h"
10       bddnode ∗applybddnodenot( BddSystem, BddNode )
11         bddsystem ∗BddSystem;
12         bddnode   ∗BddNode;
13

PARAMETERS

15       BddSystem           The bdd system.
16
17       BddNode             The bdd node to complement.
18

DESCRIPTION

20       applybddnodenot  complements BddNode in the bdd system BddSystem.  If a
21       null pointer is given, the default bdd system is used.
22

RETURN VALUE

24       applybddnodenot returns a pointer to the resulting bdd  node  with  its
25       number of external reference incremented.
26

EXAMPLE

28       #include "bdd101.h"
29          bddsystem  ∗BddSystem;
30          bddcircuit ∗BddCircuit;
31          bddnode    ∗BddNode;
32          chain_list ∗Expr;
33          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
34          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
35          addbddcircuitin( (bddcircuit ∗)0, "i0", 0, BDD_IN_MODE_FIRST );
36          addbddcircuitin( (bddcircuit ∗)0, "i1", 0, BDD_IN_MODE_FIRST );
37          BddNode = applybddnode( (bddsystem ∗)0,
38                                  ABL_AND,
39                                  searchbddcircuitin( (bddcircuit ∗)0, "i0" ),
40                                  searchbddcircuitin( (bddcircuit ∗)0, "i1" ) );
41          BddNode = applybddnodenot( (bddsystem ∗)0, decbddrefext( BddNode ) );
42          Expr = convertbddcircuitabl( (bddcircuit ∗)0, BddNode );
43          /* displays (i0 nand i1) */
44          viewablexpr( Expr, ABL_VIEW_VHDL );
45          freeablexpr( Expr );
46          destroybddsystem( (bddsystem ∗)0 );
47          destroybddcircuit( (bddcircuit ∗)0 );
48

SEE ALSO

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