getbddvarbyindex

Langue: en

Version: October 1, 1997 (fedora - 04/07/09)

Section: 3 (Bibliothèques de fonctions)

Sommaire

NAME

getbddvarbyindex - converts bdd index to a variable number.
man2html: unable to open or read file man1/alc_origin.1

SYNOPSYS

 #include "bdd101.h"
 bddindex getbddvarbyindex( BddSystem, Index )
   bddsystem *BddSystem;
   bddindex   Index;

PARAMETERS

BddSystem
The bdd system.
Index
The bdd index to convert.

DESCRIPTION

getbddvarbyindex converts the bdd index Index to a variable number, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. The function uses simply the translation table BddSystem->INDEX_TO_VAR.

RETURN VALUE

getbddvarbyindex returns the variable number of the bdd index Index.

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 );
    BddNode = addbddvar( (bddsystem *)0, 0 );
    /* displays 0 */
    printf( "%d", getbddvarbyindex( (bddsystem *)0, BddNode->INDEX ) );
    destroybddsystem( (bddsystem *)0 );

SEE ALSO

bdd(1)
man2html: unable to open or read file man1/alc_bug_report.1