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

  Synopsis    [Sets a variable type to present state.]

  Description [Sets a variable type to present state.  The variable type is
  used by lazy sifting.  Returns 1 if successful; 0 otherwise.]

  SideEffects [modifies the manager]

  SeeAlso     [Cudd_bddSetPiVar Cudd_bddSetNsVar Cudd_bddIsPsVar]

******************************************************************************/
Function
Synopsis    [Sets a variable type to present state.]

Description [Sets a variable type to present state.  The variable type is
used by lazy sifting.  Returns 1 if successful; 0 otherwise.]

SideEffects [modifies the manager]


Function Synopsis [ Sets a variable type to present state . ] Description [ Sets a variable type to present state . The variable type is used by lazy sifting . Returns 1 if successful ; 0 otherwise . ] SideEffects [ modifies the manager ]
int
Cudd_bddSetPsVar(
  DdManager *dd ,
  int index )
{
    if (index >= dd->size || index < 0) return (0);
    dd->subtables[dd->perm[index]].varType = CUDD_VAR_PRESENT_STATE;
    return(1);
}
int Cudd_bddSetPsVar ( DdManager * dd , int index ) { if ( index >= dd -> size || index < 0 ) return ( 0 ) ; dd -> subtables [ dd -> perm [ index ] ] . varType = CUDD_VAR_PRESENT_STATE ; return ( 1 ) ; }
Function
Synopsis    [Sets a variable type to present state.]
Function Synopsis [ Sets a variable type to present state . ]
/* manager */ /* variable index */