ADDBDDCIRCUITOUT(3) - Linux manual page online | Library functions
Adds an output in a bdd circuit.
Chapter
October 1, 1997
ADDBDDCIRCUITOUT(3) BDD FUNCTIONS ADDBDDCIRCUITOUT(3)
ASIM/LIP6 October 1, 1997 ADDBDDCIRCUITOUT(3)
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 incre‐ mented.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).This manual | Reference | Other manuals |
---|---|---|
addbddcircuitout(3) | referred by | delbddcircuitout(3) | searchbddcircuitout(3) |
refer to | bdd(1) | searchbddcircuitout(3) |