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

  Synopsis    [Checks whether a variable is set to be in a hard group.]

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

  SideEffects [none]

  SeeAlso     [Cudd_bddSetVarHardGroup]

******************************************************************************/
Function
Synopsis    [Checks whether a variable is set to be in a hard group.]

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




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