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

  Synopsis    [Returns the current value of the symmviolation parameter used
  in group sifting.]

  Description [Returns the current value of the symmviolation
  parameter. This parameter is used in group sifting to decide how
  many violations to the symmetry conditions <code>f10 = f01</code> or
  <code>f11 = f00</code> are tolerable when checking for aggregation
  due to extended symmetry. The value should be between 0 and 100. A
  small value causes fewer variables to be aggregated. The default
  value is 0.]

  SideEffects [None]

  SeeAlso     [Cudd_SetSymmviolation]

******************************************************************************/
Function
Synopsis    [Returns the current value of the symmviolation parameter used
in group sifting.]

Description [Returns the current value of the symmviolation
parameter. This parameter is used in group sifting to decide how
many violations to the symmetry conditions f10 = f01 or
f11 = f00 are tolerable when checking for aggregation
due to extended symmetry. The value should be between 0 and 100. A
small value causes fewer variables to be aggregated. The default
value is 0.]




Function Synopsis [ Returns the current value of the symmviolation parameter used in group sifting . ] Description [ Returns the current value of the symmviolation parameter . This parameter is used in group sifting to decide how many violations to the symmetry conditions f10 = f01 or f11 = f00 are tolerable when checking for aggregation due to extended symmetry . The value should be between 0 and 100 . A small value causes fewer variables to be aggregated . The default value is 0 . ]
int
Cudd_ReadSymmviolation(
  DdManager * dd)
{
    return(dd->symmviolation);
}
int Cudd_ReadSymmviolation ( DdManager * dd ) { return ( dd -> symmviolation ) ; }
Function
Synopsis    [Returns the current value of the symmviolation parameter used
in group sifting.]
Function Synopsis [ Returns the current value of the symmviolation parameter used in group sifting . ]