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

  Synopsis    [Sets the epsilon parameter of the manager to ep.]

  Description [Sets the epsilon parameter of the manager to ep. The epsilon
  parameter control the comparison between floating point numbers.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadEpsilon]

******************************************************************************/
Function
Synopsis    [Sets the epsilon parameter of the manager to ep.]

Description [Sets the epsilon parameter of the manager to ep. The epsilon
parameter control the comparison between floating point numbers.]




Function Synopsis [ Sets the epsilon parameter of the manager to ep . ] Description [ Sets the epsilon parameter of the manager to ep . The epsilon parameter control the comparison between floating point numbers . ]
void
Cudd_SetEpsilon(
  DdManager * dd,
  CUDD_VALUE_TYPE  ep)
{
    dd->epsilon = ep;
}
void Cudd_SetEpsilon ( DdManager * dd , CUDD_VALUE_TYPE ep ) { dd -> epsilon = ep ; }
Function
Synopsis    [Sets the epsilon parameter of the manager to ep.]
Function Synopsis [ Sets the epsilon parameter of the manager to ep . ]