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

NAME

6       delbddcircuitout - deletes an output in a bdd circuit.
7

SYNOPSIS

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

PARAMETERS

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

DESCRIPTION

20       delbddcircuitout  deletes the output OutputName in the bdd circuit Bdd‐
21       Circuit. If a null pointer is given, the default bdd circuit  is  used.
22       If  the  output  OutputName exists, the number of external reference of
23       the output node is decremented.
24

RETURN VALUE

26       delbddcircuitout returns 1 if the output OutputName exist, 0 otherwise.
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          delbddcircuitout( (bddcircuit ∗)0, "Out0" );
39          destroybddsystem( (bddsystem ∗)0 );
40          destroybddcircuit( (bddcircuit ∗)0 );
41

SEE ALSO

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