SIMPLE SOLUTIONS

ADDBDDNODE(3) - Linux man page online | Library functions

Adds a new bdd node in the bdd system.

Chapter
October 1, 1997
ADDBDDNODE(3) BDD FUNCTIONS ADDBDDNODE(3)

NAME

addbddnode - adds a new bdd node in the bdd system.

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 refer‐ ence 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)
ASIM/LIP6 October 1, 1997 ADDBDDNODE(3)
This manual Reference Other manuals
addbddnode(3) referred by
refer to bdd(1)
Download raw manual
Main page BDD FUNCTIONS (+101) ASIM/LIP6 (+480) № 3 (+68044)
Go top