NAME

       addbddcircuitout - adds an output in a bdd circuit.

SYNOPSYS

       #include "bdd101.h"
       bddnode ∗addbddcircuitout( BddCircuit, OutputName, BddNode )
         bddcircuit ∗BddCircuit;
         char       ∗OutputName;
         bddnode    ∗BddNode;

PARAMETERS

       BddCircuit          The bdd circuit.

       OutputName          The name of the output.

       BddNode             The bdd node of the output.

DESCRIPTION

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

RETURN VALUE

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

EXAMPLE

       #include "bdd101.h"
          bddsystem  ∗BddSystem;
          bddcircuit ∗BddCircuit;
          bddnode    ∗BddNode;
          BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
          BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
          ...
          addbddcircuitout( (bddcircuit ∗)0, "Out0", BddNode );
          ...
          BddNode = searchbddcircuitout( (bddcircuit ∗)0, "Out0" );
          destroybddsystem( (bddsystem ∗)0 );
          destroybddcircuit( (bddcircuit ∗)0 );

SEE ALSO

       bdd(1) searchbddcircuitout(3).