BoolFlag(val)
|
|
acos(xl, xu, yl, yu, feasibility_tol)
|
y = acos(x); propagate bounds from x to y x = cos(y) |
add(xl, xu, yl, yu)
|
|
asin(xl, xu, yl, yu, feasibility_tol)
|
y = asin(x); propagate bounds from x to y x = sin(y) |
atan(xl, xu, yl, yu)
|
y = atan(x); propagate bounds from x to y x = tan(y) |
cos(xl, xu)
|
|
div(xl, xu, yl, yu, feasibility_tol)
|
|
eq(xl, xu, yl, yu, feasibility_tol)
|
Compute the "bounds" on an EqualityExpression |
exp(xl, xu)
|
|
if_(il, iu, tl, tu, fl, fu)
|
|
ineq(xl, xu, yl, yu, feasibility_tol)
|
Compute the "bounds" on an InequalityExpression |
interval_abs(xl, xu)
|
|
inv(xl, xu, feasibility_tol)
|
Compute the inverse of an interval |
log(xl, xu)
|
|
log10(xl, xu)
|
|
mul(xl, xu, yl, yu)
|
|
power(xl, xu, yl, yu, feasibility_tol)
|
Compute bounds on x**y. |
ranged(xl, xu, yl, yu, zl, zu, feasibility_tol)
|
Compute the "bounds" on a RangedExpression |
sin(xl, xu)
|
|
sub(xl, xu, yl, yu)
|
|
tan(xl, xu)
|
|