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

NAME

6       addbddcircuitout - adds an output in a bdd circuit.
7

SYNOPSIS

9       #include "bdd101.h"
10       bddnode ∗addbddcircuitout( BddCircuit, OutputName, BddNode )
11         bddcircuit ∗BddCircuit;
12         char       ∗OutputName;
13         bddnode    ∗BddNode;
14

PARAMETERS

16       BddCircuit          The bdd circuit.
17
18       OutputName          The name of the output.
19
20       BddNode             The bdd node of the output.
21

DESCRIPTION

23       addbddcircuitout  adds  BddNode as an output OutputName in the bdd cir‐
24       cuit BddCircuit. If a null pointer is given, the default bdd circuit is
25       used.   If the output OutputName exists already, the number of external
26       reference of the old node  is  decremented,  and  the  output  node  is
27       replaced by the new one.
28

RETURN VALUE

30       addbddcircuitout  returns  the node BddNode with its number of external
31       reference incremented.
32

EXAMPLE

34       #include "bdd101.h"
35          bddsystem  ∗BddSystem;
36          bddcircuit ∗BddCircuit;
37          bddnode    ∗BddNode;
38          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
39          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
40          ...
41          addbddcircuitout( (bddcircuit ∗)0, "Out0", BddNode );
42          ...
43          BddNode = searchbddcircuitout( (bddcircuit ∗)0, "Out0" );
44          destroybddsystem( (bddsystem ∗)0 );
45          destroybddcircuit( (bddcircuit ∗)0 );
46

SEE ALSO

48       bdd(1) searchbddcircuitout(3).
49
50
51
52
53
54
55ASIM/LIP6                       October 1, 1997            ADDBDDCIRCUITOUT(3)