Class UpperCardinalityTerms
java.lang.Object
tools.refinery.logic.term.uppercardinality.UpperCardinalityTerms
-
Field Summary
Modifier and TypeFieldDescriptionstatic final Aggregator
<UpperCardinality, UpperCardinality> static final Aggregator
<UpperCardinality, UpperCardinality> static final Aggregator
<UpperCardinality, UpperCardinality> -
Method Summary
Modifier and TypeMethodDescriptionstatic Term
<UpperCardinality> add
(Term<UpperCardinality> left, Term<UpperCardinality> right) static Term
<UpperCardinality> constant
(UpperCardinality value) eq
(Term<UpperCardinality> left, Term<UpperCardinality> right) greater
(Term<UpperCardinality> left, Term<UpperCardinality> right) greaterEq
(Term<UpperCardinality> left, Term<UpperCardinality> right) less
(Term<UpperCardinality> left, Term<UpperCardinality> right) lessEq
(Term<UpperCardinality> left, Term<UpperCardinality> right) static Term
<UpperCardinality> max
(Term<UpperCardinality> left, Term<UpperCardinality> right) static Term
<UpperCardinality> min
(Term<UpperCardinality> left, Term<UpperCardinality> right) static Term
<UpperCardinality> mul
(Term<UpperCardinality> left, Term<UpperCardinality> right) notEq
(Term<UpperCardinality> left, Term<UpperCardinality> right)
-
Field Details
-
UPPER_CARDINALITY_SUM
-
UPPER_CARDINALITY_MIN
-
UPPER_CARDINALITY_MAX
-
-
Method Details
-
constant
-
add
-
mul
-
min
-
max
-
eq
-
notEq
-
less
-
lessEq
-
greater
-
greaterEq
-