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).