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

  Synopsis    [Check symmetry condition.]

  Description [Returns 1 if a variable is the one with the highest index
  among those belonging to a symmetry group that are in the top part of
  the BDD.  The top part is given by level.]

  SideEffects [None]

  SeeAlso     [initSymmInfo]

******************************************************************************/
Function
Synopsis    [Check symmetry condition.]

Description [Returns 1 if a variable is the one with the highest index
among those belonging to a symmetry group that are in the top part of
the BDD.  The top part is given by level.]




Function Synopsis [ Check symmetry condition . ] Description [ Returns 1 if a variable is the one with the highest index among those belonging to a symmetry group that are in the top part of the BDD . The top part is given by level . ]
static int
checkSymmInfo(
  DdManager * table,
  DdHalfWord * symmInfo,
  int  index,
  int  level)
{
    int i;
    i = symmInfo[index];
    while (i != index) {
        if (index < i && table->perm[i] <= level)
            return(0);
        i = symmInfo[i];
    }
    return(1);
}
static int checkSymmInfo ( DdManager * table , DdHalfWord * symmInfo , int index , int level ) { int i ; i = symmInfo [ index ] ; while ( i != index ) { if ( index < i && table -> perm [ i ] <= level ) return ( 0 ) ; i = symmInfo [ i ] ; } return ( 1 ) ; }
Function
Synopsis    [Check symmetry condition.]
Function Synopsis [ Check symmetry condition . ]