table of contents
SEARCHBDDCIRCUITIN(3) | BDD FUNCTIONS | SEARCHBDDCIRCUITIN(3) |
NAME¶
searchbddcircuitin - searchs an input 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"
bddnode ∗searchbddcircuitin( BddCircuit, InputName )
bddcircuit ∗BddCircuit;
char ∗InputName;
PARAMETERS¶
- BddCircuit
- The bdd circuit.
- InputName
- The name of the input to look for.
DESCRIPTION¶
searchbddcircuitin searchs the input InputName in the bdd circuit BddCircuit. If a null pointer is given, the default bdd circuit is used.
RETURN VALUE¶
searchbddcircuitin returns the node corresponding to the input InputName or a null pointer if no such input is found.
EXAMPLE¶
#include "bdd101.h"
bddsystem ∗BddSystem;
bddcircuit ∗BddCircuit;
bddnode ∗BddNode;
BddSystem = createbddsystem( 100, 1000, 100, 50000 );
BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
addbddcircuitin ( (bddcircuit ∗)0, "i0", 0, BDD_IN_MODE_FIRST );
...
BddNode = searchbddcircuitin( (bddcircuit ∗)0, "i0" );
destroybddsystem( (bddsystem ∗)0 );
destroybddcircuit( (bddcircuit ∗)0 );
SEE ALSO¶
bdd(1), addbddcircuitin(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 |