Home
last modified time | relevance | path

Searched refs:SCIPnextafter (Results 1 – 5 of 5) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dintervalarith.c1470 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 Dpub_misc.h1767 SCIP_Real SCIPnextafter(
H A Dscip_solve.c1708 objbound = SCIPnextafter(objbound, SCIP_REAL_MAX); in initSolve()
H A Dmisc.c9265 SCIP_Real SCIPnextafter( in SCIPnextafter() function
/dports/math/SCIP/scip-7.0.3/
H A DCHANGELOG1435 - SCIPnextafter() that wraps different nextafter methods to return the next representable value aft…