Class | Description |
---|---|
AbsPeqR |
Constraints |P| #= R
|
AcosPeqR |
Constraints acos(P) = R
|
AsinPeqR |
Constraints asin(P) = R
|
AtanPeqR |
Constraints atan(P) = R
|
CosPeqR |
Constraints cos(P) = R
|
CosPeqR_decomposed |
Constraints cos(P) = R
|
Derivative |
Derivative for float constraints
|
ElementFloat |
ElementFloat constraint defines a relation
list[index - indexOffset] = value.
|
ElementFloatVariable |
ElementFloatVariable constraint defines a relation
list[index - indexOffset] = value.
|
EquationSystem |
EquationSystem constraint implements the multivariate interval
Newton method for pruning domains of variables in a system of
non-linear equations.
|
ExpPeqR |
Constraints exp(P) #= Q for P and Q floats
|
IntervalGaussSeidel |
IntervalGaussSeidel implements Gauss-Seidel method for solving a
system of linear equations Ax = b with interval matrix A of
coefficients.
|
LinearFloat |
LinearFloat constraint implements the weighted summation over several
Variable's .
|
LnPeqR |
Constraints Ln(P) #= Q for P and Q floats
|
Max |
Max constraint implements the Maximum/2 constraint.
|
Min |
Min constraint implements the minimum/2 constraint.
|
MultivariateIntervalNewton |
MultivariateIntervalNewton implements multivariate interval Newton
method for solving a system of non linear equations.
|
PdivCeqR |
Constraint P / C = R for floats
|
PdivQeqR |
Constraint P / Q = R for floats
|
PeqC |
Constraints P #= C
|
PeqQ |
Constraints P #= Q for P and Q floats
|
PgtC |
Constraint P > C
|
PgteqC |
Constraints P >= C for floats
|
PgteqQ |
Constraints P >= Q for floats
|
PgtQ |
Constraint P > Q for floats
|
PltC |
Constraint P < C for floats
|
PlteqC |
Constraint X <= C for floats
|
PlteqQ |
Constraint P <= Q for floats
|
PltQ |
Constraint P < Q for floats
|
PminusCeqR |
Constraint P - C = R
|
PminusQeqR |
Constraint P - Q = R
|
PmulCeqR |
Constraint P * C = R for floats
|
PmulQeqR |
Constraint P * Q = R for floats
|
PneqC |
Constraints P != C
|
PneqQ |
Constraints P #= Q for P and Q floats
|
PplusCeqR |
Constraint P + C #= R
|
PplusQeqR |
Constraint P + Q = R
|
SinPeqR |
Constraints sin(P) = R
|
SqrtPeqR |
Constraint sqrt(P) = R for floats
|
SumFloat |
SumFloat constraint implements the weighted summation over several
Variable's .
|
TanPeqR |
Constraints sin(P) = R
|
XeqP |
Constraints X #= P for X and P floats
|
Copyright © 2022. All rights reserved.