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

  Synopsis    [Reads the epsilon parameter of the manager.]

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

  SideEffects [None]

  SeeAlso     [Cudd_SetEpsilon]

******************************************************************************/
Function
Synopsis    [Reads the epsilon parameter of the manager.]

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




Function Synopsis [ Reads the epsilon parameter of the manager . ] Description [ Reads the epsilon parameter of the manager . The epsilon parameter control the comparison between floating point numbers . ]
CUDD_VALUE_TYPE
Cudd_ReadEpsilon(
  DdManager * dd)
{
    return(dd->epsilon);
}
CUDD_VALUE_TYPE Cudd_ReadEpsilon ( DdManager * dd ) { return ( dd -> epsilon ) ; }
Function
Synopsis    [Reads the epsilon parameter of the manager.]
Function Synopsis [ Reads the epsilon parameter of the manager . ]