BoolFlag(val)
|
|
acos(xl, xu, yl, yu, feasibility_tol)
|
y = acos(x); 将边界从x传播到y x = cos(y) |
add(xl, xu, yl, yu)
|
|
asin(xl, xu, yl, yu, feasibility_tol)
|
y = asin(x); 将边界从x传播到y x = sin(y) |
atan(xl, xu, yl, yu)
|
y = atan(x); 将边界从x传播到y x = tan(y) |
cos(xl, xu)
|
|
div(xl, xu, yl, yu, feasibility_tol)
|
|
eq(xl, xu, yl, yu, feasibility_tol)
|
计算 EqualityExpression 的 "bounds" |
exp(xl, xu)
|
|
if_(il, iu, tl, tu, fl, fu)
|
|
ineq(xl, xu, yl, yu, feasibility_tol)
|
计算 InequalityExpression 的 "bounds" |
interval_abs(xl, xu)
|
|
inv(xl, xu, feasibility_tol)
|
计算区间的逆 |
log(xl, xu)
|
|
log10(xl, xu)
|
|
mul(xl, xu, yl, yu)
|
|
power(xl, xu, yl, yu, feasibility_tol)
|
计算x**y的边界。 |
ranged(xl, xu, yl, yu, zl, zu, feasibility_tol)
|
计算RangedExpression的“边界” |
sin(xl, xu)
|
|
sub(xl, xu, yl, yu)
|
|
tan(xl, xu)
|
|