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

NAME

6       searchbddcircuitout - searches an output in a bdd circuit.
7

SYNOPSIS

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

PARAMETERS

15       BddCircuit          The bdd circuit.
16
17       OutputName          The name of the output to look for.
18

DESCRIPTION

20       searchbddcircuitout  searches  the output OutputName in the bdd circuit
21       BddCircuit.  If a null pointer is given, the  default  bdd  circuit  is
22       used.
23

RETURN VALUE

25       searchbddcircuitout  returns  the node corresponding to the output Out‐
26       putName or a null pointer if no such output is found.
27

EXAMPLE

29       #include "bdd101.h"
30          bddsystem  ∗BddSystem;
31          bddcircuit ∗BddCircuit;
32          bddnode    ∗BddNode;
33          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
34          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
35          ...
36          addbddcircuitout( (bddcircuit ∗)0, "Out0", BddNode );
37          ...
38          BddNode = searchbddcircuitout( (bddcircuit ∗)0, "Out0" );
39          destroybddsystem( (bddsystem ∗)0 );
40          destroybddcircuit( (bddcircuit ∗)0 );
41

SEE ALSO

43       bdd(1), addbddcircuitout(3).
44
45
46
47
48
49
50ASIM/LIP6                       October 1, 1997         SEARCHBDDCIRCUITOUT(3)
Impressum