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

  Synopsis    [Checks whether a variable is present state.]

  Description [Checks whether a variable is present state.  Returns 1 if
  the variable's type is present state; 0 if the variable exists but is
  not a present state; -1 if the variable does not exist.]

  SideEffects [none]

  SeeAlso     [Cudd_bddSetPsVar Cudd_bddIsPiVar Cudd_bddIsNsVar]

******************************************************************************/
Function
Synopsis    [Checks whether a variable is present state.]

Description [Checks whether a variable is present state.  Returns 1 if
the variable's type is present state; 0 if the variable exists but is
not a present state; -1 if the variable does not exist.]




Function Synopsis [ Checks whether a variable is present state . ] Description [ Checks whether a variable is present state . Returns 1 if the variable ' s type is present state ; 0 if the variable exists but is not a present state ; - 1 if the variable does not exist . ]
int
Cudd_bddIsPsVar(
  DdManager *dd,
  int index)
{
    if (index >= dd->size || index < 0) return -1;
    return (dd->subtables[dd->perm[index]].varType == CUDD_VAR_PRESENT_STATE);
}
int Cudd_bddIsPsVar ( DdManager * dd , int index ) { if ( index >= dd -> size || index < 0 ) return -1 ; return ( dd -> subtables [ dd -> perm [ index ] ] . varType == CUDD_VAR_PRESENT_STATE ) ; }
Function
Synopsis    [Checks whether a variable is present state.]
Function Synopsis [ Checks whether a variable is present state . ]