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

  Synopsis    [Checks whether a variable is set to be ungrouped.]

  Description [Checks whether a variable is set to be ungrouped. This
  function is used for lazy sifting.  Returns 1 if the variable is marked
  to be ungrouped; 0 if the variable exists, but it is not marked to be
  ungrouped; -1 if the variable does not exist.]

  SideEffects [none]

  SeeAlso     [Cudd_bddSetVarToBeUngrouped]

******************************************************************************/
Function
Synopsis    [Checks whether a variable is set to be ungrouped.]

Description [Checks whether a variable is set to be ungrouped. This
function is used for lazy sifting.  Returns 1 if the variable is marked
to be ungrouped; 0 if the variable exists, but it is not marked to be
ungrouped; -1 if the variable does not exist.]




Function Synopsis [ Checks whether a variable is set to be ungrouped . ] Description [ Checks whether a variable is set to be ungrouped . This function is used for lazy sifting . Returns 1 if the variable is marked to be ungrouped ; 0 if the variable exists but it is not marked to be ungrouped ; - 1 if the variable does not exist . ]
int
Cudd_bddIsVarToBeUngrouped(
  DdManager *dd,
  int index)
{
    if (index >= dd->size || index < 0) return(-1);
    return dd->subtables[dd->perm[index]].varToBeGrouped == CUDD_LAZY_UNGROUP;
}
int Cudd_bddIsVarToBeUngrouped ( DdManager * dd , int index ) { if ( index >= dd -> size || index < 0 ) return ( -1 ) ; return dd -> subtables [ dd -> perm [ index ] ] . varToBeGrouped == CUDD_LAZY_UNGROUP ; }
Function
Synopsis    [Checks whether a variable is set to be ungrouped.]
Function Synopsis [ Checks whether a variable is set to be ungrouped . ]