Rechercher une page de manuel
addbddcircuitout
Langue: en
Version: October 1, 1997 (fedora - 05/07/09)
Section: 3 (Bibliothèques de fonctions)
NAME
addbddcircuitout - adds an output in a bdd circuit.man2html: unable to open or read file man1/alc_origin.1
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).man2html: unable to open or read file man1/alc_bug_report.1
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre