Searched refs:SCIPnextafter (Results 1 – 5 of 5) sorted by relevance
/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | intervalarith.c | 1470 resultant->inf = SCIPnextafter(tmp, SCIP_REAL_MIN); in SCIPintervalSquareRoot() 1471 resultant->sup = SCIPnextafter(tmp, SCIP_REAL_MAX); in SCIPintervalSquareRoot() 1831 resultant->inf = SCIPnextafter(result, SCIP_REAL_MIN); in SCIPintervalPowerScalarScalar() 1832 resultant->sup = SCIPnextafter(result, SCIP_REAL_MAX); in SCIPintervalPowerScalarScalar() 2450 resultant->sup = SCIPnextafter(tmp, SCIP_REAL_MAX); in SCIPintervalExp() 2527 resultant->inf = SCIPnextafter(tmp, SCIP_REAL_MIN); in SCIPintervalLog() 2528 resultant->sup = SCIPnextafter(tmp, SCIP_REAL_MAX); in SCIPintervalLog() 3133 z = SCIPnextafter(sqrt(delta), SCIP_REAL_MAX); in SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar() 3148 z = SCIPnextafter(sqrt(delta), SCIP_REAL_MAX); in SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar() 3164 z = SCIPnextafter(sqrt(delta), SCIP_REAL_MIN); in SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar() [all …]
|
H A D | pub_misc.h | 1767 SCIP_Real SCIPnextafter(
|
H A D | scip_solve.c | 1708 objbound = SCIPnextafter(objbound, SCIP_REAL_MAX); in initSolve()
|
H A D | misc.c | 9265 SCIP_Real SCIPnextafter( in SCIPnextafter() function
|
/dports/math/SCIP/scip-7.0.3/ |
H A D | CHANGELOG | 1435 - SCIPnextafter() that wraps different nextafter methods to return the next representable value aft…
|