Class UpperCardinalities
java.lang.Object
tools.refinery.logic.term.uppercardinality.UpperCardinalities
-
Field Summary
Modifier and TypeFieldDescriptionstatic final UpperCardinality
static final UpperCardinality
static final UpperCardinality
-
Method Summary
-
Field Details
-
UNBOUNDED
-
ZERO
-
ONE
-
-
Method Details
-
atMost
-