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

  Synopsis    [Checks whether a variable is primary input.]

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

  SideEffects [none]

  SeeAlso     [Cudd_bddSetPiVar Cudd_bddIsPsVar Cudd_bddIsNsVar]

******************************************************************************/
Function
Synopsis    [Checks whether a variable is primary input.]

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




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