abc/src/bdd/cudd/cuddAPI.c
/**Function********************************************************************

  Synopsis    [Reads a corresponding pair index for a given index.]

  Description [Reads a corresponding pair index for a given index.
  These pair indices are present and next state variable.  Returns the
  corresponding variable index if the variable exists; -1 otherwise.]

  SideEffects [modifies the manager]

  SeeAlso     [Cudd_bddSetPairIndex]

******************************************************************************/
Function
Synopsis    [Reads a corresponding pair index for a given index.]

Description [Reads a corresponding pair index for a given index.
These pair indices are present and next state variable.  Returns the
corresponding variable index if the variable exists; -1 otherwise.]

SideEffects [modifies the manager]


Function Synopsis [ Reads a corresponding pair index for a given index . ] Description [ Reads a corresponding pair index for a given index . These pair indices are present and next state variable . Returns the corresponding variable index if the variable exists ; - 1 otherwise . ] SideEffects [ modifies the manager ]
int
Cudd_bddReadPairIndex(
  DdManager *dd,
  int index)
{
    if (index >= dd->size || index < 0) return -1;
    return dd->subtables[dd->perm[index]].pairIndex;
}
int Cudd_bddReadPairIndex ( DdManager * dd , int index ) { if ( index >= dd -> size || index < 0 ) return -1 ; return dd -> subtables [ dd -> perm [ index ] ] . pairIndex ; }
Function
Synopsis    [Reads a corresponding pair index for a given index.]
Function Synopsis [ Reads a corresponding pair index for a given index . ]