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

NAME

6       simpbddnodedcoff  -  simplifies  a  bdd with don't cares on its off-set
7       part.
8
9

SYNOPSIS

11       #include "bdd101.h"
12       bddnode ∗simpbddnodedcoff( BddSystem, BddOff, BddDc )
13         bddsystem ∗BddSystem;
14         bddnode   ∗BddOff;
15         bddnode   ∗BddDc;
16

PARAMETERS

18       BddSystem           The bdd system.
19
20       BddOff              The first bdd node.
21
22       BddDc               The second bdd node.
23

DESCRIPTION

25       simpbddnodedcoff simplifies the bdd node BddOff with BddDc, in the  bdd
26       system  BddSystem.   If a null pointer is given, the default bdd system
27       is used.  The bdd node BddDc must be included imperatively in the  off-
28       set part of the bdd node BddOff.
29

RETURN VALUE

31       simpbddnodedcoff returns the simplified bdd node.
32

EXAMPLE

34       #include "bdd101.h"
35          bddsystem  ∗BddSystem;
36          bddcircuit ∗BddCircuit;
37          bddnode    ∗BddOff;
38          bddnode    ∗BddDc;
39          bddnode    ∗BddNode;
40          chain_list ∗Expr;
41          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
42          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
43          Expr = createablbinexpr( ABL_OR,
44                                   createablatom( "i0" ),
45                                   createablatom( "i1" ) );
46          BddOff = addbddcircuitabl( BddCircuit, Expr );
47          freeablexpr( Expr );
48          Expr = createablbinexpr( ABL_NOR,
49                                   createablatom( "i0" ),
50                                   createablatom( "i1" ) );
51          BddDc = addbddcircuitabl( BddCircuit, Expr );
52          freeablexpr( Expr );
53          BddNode = simpbddnodedcoff( (bddsystem ∗)0, BddOff, BddDc );
54          Expr = convertbddcircuitabl( BddCircuit, BddNode );
55          /* displays '1' */
56          viewablexpr( Expr, ABL_VIEW_VHDL );
57          freeablexpr( Expr );
58          destroybddsystem( (bddsystem ∗)0 );
59          destroybddcircuit( (bddcircuit ∗)0 );
60

SEE ALSO

62       bdd(1)
63
64
65
66
67
68
69ASIM/LIP6                       October 1, 1997            SIMPBDDNODEDCOFF(3)
Impressum