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

ExpPeqR 
Constraints exp(P) #= Q for P and Q floats

IntervalGaussSeidel 
IntervalGaussSeidel implements GaussSeidel 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.