Query: addbddcircuitout
OS: debian
Section: 3
Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar
ADDBDDCIRCUITOUT(3) BDD FUNCTIONS ADDBDDCIRCUITOUT(3)NAMEaddbddcircuitout - adds an output in a bdd circuit.ORIGINThis software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in Paris, France. Web : http://asim.lip6.fr/recherche/alliance/ E-mail : alliance-users@asim.lip6.frSYNOPSYS#include "bdd101.h" bddnode *addbddcircuitout( BddCircuit, OutputName, BddNode ) bddcircuit *BddCircuit; char *OutputName; bddnode *BddNode;PARAMETERSBddCircuit The bdd circuit. OutputName The name of the output. BddNode The bdd node of the output.DESCRIPTIONaddbddcircuitout 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 VALUEaddbddcircuitout 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 ALSObdd(1) searchbddcircuitout(3).BUG REPORTThis tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools.ASIM/LIP6 October 1, 1997 ADDBDDCIRCUITOUT(3)
Related Man Pages |
---|
addbddcircuitout(3) - debian |
applybddnodenot(3) - debian |
delbddcircuitout(3) - debian |
getbddnodenum(3) - debian |
incbddrefext(3) - debian |
Similar Topics in the Unix Linux Community |
---|
Installing Dash Shell on OS X Lion |
One instance of comparing grep and awk |
Find columns in a file based on header and print to new file |
New UNIX and Linux History Sections |