table of contents
DELBDDCIRCUITOUT(3) | BDD FUNCTIONS | DELBDDCIRCUITOUT(3) |
NAME¶
delbddcircuitout - deletes an output in a bdd circuit.
ORIGIN¶
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France.
Web : http://asim.lip6.fr/recherche/alliance/
E-mail : alliance-users@asim.lip6.fr
SYNOPSYS¶
#include "bdd101.h" int delbddcircuitout( BddCircuit, OutputName )
bddcircuit ∗BddCircuit;
char ∗OutputName;
PARAMETERS¶
- BddCircuit
- The bdd circuit.
- OutputName
- The name of the output to delete.
DESCRIPTION¶
delbddcircuitout deletes the output OutputName in the bdd circuit BddCircuit. If a null pointer is given, the default bdd circuit is used. If the output OutputName exists, the number of external reference of the output node is decremented.
RETURN VALUE¶
delbddcircuitout returns 1 if the output OutputName exist, 0 otherwise.
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 );
...
delbddcircuitout( (bddcircuit ∗)0, "Out0" );
destroybddsystem( (bddsystem ∗)0 );
destroybddcircuit( (bddcircuit ∗)0 );
SEE ALSO¶
bdd(1) searchbddcircuitout(3), addbddcircuitout(3).
BUG REPORT¶
This tool is under development at the ASIM department of
the LIP6 laboratory.
We need your feedback to improve documentation and tools.
October 1, 1997 | ASIM/LIP6 |