Package tools.refinery.logic.term.real
Class RealTerms
java.lang.Object
tools.refinery.logic.term.real.RealTerms
-
Field Summary
Modifier and TypeFieldDescriptionstatic final Aggregator
<Double, Double> static final Aggregator
<Double, Double> static final Aggregator
<Double, Double> -
Method Summary
Modifier and TypeMethodDescription
-
Field Details
-
REAL_SUM
-
REAL_MIN
-
REAL_MAX
-
-
Method Details
-
constant
-
plus
-
minus
-
add
-
sub
-
mul
-
div
-
pow
-
min
-
max
-
eq
-
notEq
-
less
-
lessEq
-
greater
-
greaterEq
-
asReal
-