Class CardinalityIntervals
java.lang.Object
tools.refinery.logic.term.cardinalityinterval.CardinalityIntervals
-
Field Summary
Modifier and TypeFieldDescriptionstatic final CardinalityInterval
static final CardinalityInterval
static final CardinalityInterval
static final CardinalityInterval
static final CardinalityInterval
static final CardinalityInterval
-
Method Summary
Modifier and TypeMethodDescriptionstatic CardinalityInterval
atLeast
(int lowerBound) static CardinalityInterval
atMost
(int upperBound) static CardinalityInterval
atMost
(UpperCardinality upperBound) static CardinalityInterval
between
(int lowerBound, int upperBound) static CardinalityInterval
between
(int lowerBound, UpperCardinality upperBound) static CardinalityInterval
exactly
(int lowerBound)
-
Field Details
-
NONE
-
ONE
-
LONE
-
SET
-
SOME
-
ERROR
-
-
Method Details
-
between
-
between
-
atMost
-
atMost
-
atLeast
-
exactly
-