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

  Synopsis    [Returns the index of the ZDD variable currently in the i-th
  position of the order.]

  Description [Returns the index of the ZDD variable currently in the
  i-th position of the order. If the index is CUDD_CONST_INDEX, returns
  CUDD_CONST_INDEX; otherwise, if the index is out of bounds returns -1.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadPerm Cudd_ReadInvPermZdd]

******************************************************************************/
Function
Synopsis    [Returns the index of the ZDD variable currently in the i-th
position of the order.]

Description [Returns the index of the ZDD variable currently in the
i-th position of the order. If the index is CUDD_CONST_INDEX, returns
CUDD_CONST_INDEX; otherwise, if the index is out of bounds returns -1.]




Function Synopsis [ Returns the index of the ZDD variable currently in the i - th position of the order . ] Description [ Returns the index of the ZDD variable currently in the i - th position of the order . If the index is CUDD_CONST_INDEX returns CUDD_CONST_INDEX ; otherwise if the index is out of bounds returns - 1 . ]
int
Cudd_ReadInvPermZdd(
  DdManager * dd,
  int  i)
{
    if (i == CUDD_CONST_INDEX) return(CUDD_CONST_INDEX);
    if (i < 0 || i >= dd->sizeZ) return(-1);
    return(dd->invpermZ[i]);
}
int Cudd_ReadInvPermZdd ( DdManager * dd , int i ) { if ( i == CUDD_CONST_INDEX ) return ( CUDD_CONST_INDEX ) ; if ( i < 0 || i >= dd -> sizeZ ) return ( -1 ) ; return ( dd -> invpermZ [ i ] ) ; }
Function
Synopsis    [Returns the index of the ZDD variable currently in the i-th
position of the order.]
Function Synopsis [ Returns the index of the ZDD variable currently in the i - th position of the order . ]