Scroll to navigation

GETBDDVARBYINDEX(3) BDD FUNCTIONS GETBDDVARBYINDEX(3)

NAME

getbddvarbyindex - converts bdd index to a variable number.

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"
bddindex getbddvarbyindex( BddSystem, Index )

bddsystem ∗BddSystem;
bddindex Index;

PARAMETERS

The bdd system.
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)

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