getbddvarnodebyindex.3alc - Man Page
gives the bdd node of a variable.
Synopsis
#include "bdd101.h" bddnode ∗getbddvarnodebyindex( BddSystem, Index ) bddsystem ∗BddSystem; bddindex Index;
Parameters
- BddSystem
The bdd system.
- Index
The bdd index.
Description
getbddvarnode gives the bdd node of the bdd index Index, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. The function uses simply the table BddSystem->VAR_NODE.
Return Value
getbddvarnode returns a pointer to the variable bdd node.
Errors
"index xxx out of range, error !"
The Index parameter must be a valid index.
Example
#include "bdd101.h" bddsystem ∗BddSystem; bddnode ∗BddNode; BddSystem = createbddsystem( 100, 1000, 100, 50000 ); addbddvar( (bddsystem ∗)0, 0 ); BddNode = getbddvarnodebyindex( (bddsystem ∗)0, 2 ); ... destroybddsystem( (bddsystem ∗)0 );
See Also
Info
October 1, 1997 ASIM/LIP6 BDD FUNCTIONS