addbddcircuitout.3alc man page

addbddcircuitout — adds an output in a bdd circuit.

Synopsis

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

Referenced By

delbddcircuitout.3alc(3), searchbddcircuitout.3alc(3).

October 1, 1997 ASIM/LIP6 BDD FUNCTIONS