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

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

  Description [Sets the 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 [Changes the manager.]

  SeeAlso     [Cudd_ReadSymmviolation]

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

Description [Sets the 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.]

SideEffects [Changes the manager.]


Function Synopsis [ Sets the value of the symmviolation parameter used in group sifting . ] Description [ Sets the 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 . ] SideEffects [ Changes the manager . ]
void
Cudd_SetSymmviolation(
  DdManager * dd,
  int  symmviolation)
{
    dd->symmviolation = symmviolation;
}
void Cudd_SetSymmviolation ( DdManager * dd , int symmviolation ) { dd -> symmviolation = symmviolation ; }
Function
Synopsis    [Sets the value of the symmviolation parameter used
in group sifting.]
Function Synopsis [ Sets the value of the symmviolation parameter used in group sifting . ]