| 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.