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

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

  Description [Sets the value of the arcviolation
  parameter. This parameter is used in group sifting to decide how
  many arcs into <code>y</code> not coming from <code>x</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_ReadArcviolation]

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

Description [Sets the value of the arcviolation
parameter. This parameter is used in group sifting to decide how
many arcs into y not coming from x 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 [ Sets the value of the arcviolation parameter used in group sifting . ] Description [ Sets the value of the arcviolation parameter . This parameter is used in group sifting to decide how many arcs into y not coming from x 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 . ]
void
Cudd_SetArcviolation(
  DdManager * dd,
  int  arcviolation)
{
    dd->arcviolation = arcviolation;
}
void Cudd_SetArcviolation ( DdManager * dd , int arcviolation ) { dd -> arcviolation = arcviolation ; }
Function
Synopsis    [Sets the value of the arcviolation parameter used
in group sifting.]
Function Synopsis [ Sets the value of the arcviolation parameter used in group sifting . ]