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

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

  Description [Returns the current 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_SetArcviolation]

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

Description [Returns the current 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 [ Returns the current value of the arcviolation parameter used in group sifting . ] Description [ Returns the current 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 . ]
int
Cudd_ReadArcviolation(
  DdManager * dd)
{
    return(dd->arcviolation);
}
int Cudd_ReadArcviolation ( DdManager * dd ) { return ( dd -> arcviolation ) ; }
Function
Synopsis    [Returns the current value of the arcviolation parameter used
in group sifting.]
Function Synopsis [ Returns the current value of the arcviolation parameter used in group sifting . ]