Package tools.refinery.logic.term.int_
Class IntTerms
java.lang.Object
tools.refinery.logic.term.int_.IntTerms
-
Field Summary
Modifier and TypeFieldDescriptionstatic final Aggregator
<Integer, Integer> static final Aggregator
<Integer, Integer> static final Aggregator
<Integer, Integer> -
Method Summary
Modifier and TypeMethodDescription
-
Field Details
-
INT_SUM
-
INT_MIN
-
INT_MAX
-
-
Method Details
-
constant
-
plus
-
minus
-
add
-
sub
-
mul
-
div
-
pow
-
min
-
max
-
eq
-
notEq
-
less
-
lessEq
-
greater
-
greaterEq
-
asInt
-