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

NAME

6       searchbddcircuitin - searches an input in a bdd circuit.
7

SYNOPSIS

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

PARAMETERS

15       BddCircuit          The bdd circuit.
16
17       InputName           The name of the input to look for.
18

DESCRIPTION

20       searchbddcircuitin searches the input InputName in the bdd circuit Bdd‐
21       Circuit.  If a null pointer is given, the default bdd circuit is used.
22

RETURN VALUE

24       searchbddcircuitin returns the node corresponding to the  input  Input‐
25       Name or a null pointer if no such input is found.
26

EXAMPLE

28       #include "bdd101.h"
29          bddsystem  ∗BddSystem;
30          bddcircuit ∗BddCircuit;
31          bddnode    ∗BddNode;
32          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
33          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
34          addbddcircuitin ( (bddcircuit ∗)0, "i0", 0, BDD_IN_MODE_FIRST );
35          ...
36          BddNode = searchbddcircuitin( (bddcircuit ∗)0, "i0" );
37          destroybddsystem( (bddsystem ∗)0 );
38          destroybddcircuit( (bddcircuit ∗)0 );
39

SEE ALSO

41       bdd(1), addbddcircuitin(3).
42
43
44
45
46
47
48ASIM/LIP6                       October 1, 1997          SEARCHBDDCIRCUITIN(3)
Impressum