Rechercher une page de manuel
addbddnode
Langue: en
Version: October 1, 1997 (fedora - 06/07/09)
Section: 3 (Bibliothèques de fonctions)
NAME
addbddnode - adds a new bdd node in the bdd system.man2html: unable to open or read file man1/alc_origin.1
SYNOPSYS
#include "bdd101.h" bddnode *addbddnode( BddSystem, Index, High, Low ) bddsystem *BddSystem; bddindex Index; bddnode *High; bddnode *Low;
PARAMETERS
- BddSystem
- The bdd system.
- Index
- The bdd index.
- High
- The bdd high pointer.
- Low
- The bdd low pointer.
DESCRIPTION
addbddnode adds a new node with the index Index, High as HIGH pointer, and Low as LOW pointer in the bdd system BddSystem. If the bdd node exist already addbddnode return its pointer. If a null pointer is given, the default bdd system is used.RETURN VALUE
addbddnode returns a pointer to the resulting bdd node with its number of external reference incremented.ERRORS
"index xxx out of range"- The Index parameter must be a valid index.
EXAMPLE
#include "bdd101.h" bddsystem *BddSystem; bddcircuit *BddCircuit; bddnode *BddNode; chain_list *Expr; BddSystem = createbddsystem( 100, 1000, 100, 50000 ); BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem ); BddNode = addbddcircuitin( (bddcircuit *)0, "i0", 0, BDD_IN_MODE_FIRST ); BddNode = addbddnode( (bddsystem *)0, BddNode->INDEX, BddNode->LOW, BddNode->HIGH ); Expr = convertbddcircuitabl( (bddcircuit *)0, BddNode ); /* displays (not i0) */ viewablexpr( Expr, ABL_VIEW_VHDL ); freeablexpr( Expr ); destroybddsystem( (bddsystem *)0 ); destroybddcircuit( (bddcircuit *)0 );
SEE ALSO
bdd(1)man2html: unable to open or read file man1/alc_bug_report.1
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre