1 files changed, 54 insertions, 0 deletions

diff --git a/subprojects/logic/src/main/java/tools/refinery/logic/term/cardinalityinterval/CardinalityIntervals.java b/subprojects/logic/src/main/java/tools/refinery/logic/term/cardinalityinterval/CardinalityIntervals.java
new file mode 100644
index 00000000..cb64cc0d
--- /dev/null
+++ b/subprojects/logic/src/main/java/tools/refinery/logic/term/cardinalityinterval/CardinalityIntervals.java
@@ -0,0 +1,54 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
+package tools.refinery.logic.term.cardinalityinterval;
+
+import tools.refinery.logic.term.uppercardinality.UpperCardinalities;
+import tools.refinery.logic.term.uppercardinality.UpperCardinality;
+
+public final class CardinalityIntervals {
+        public static final CardinalityInterval NONE = exactly(0);
+
+        public static final CardinalityInterval ONE = exactly(1);
+
+        public static final CardinalityInterval LONE = atMost(1);
+
+        public static final CardinalityInterval SET = atLeast(0);
+
+        public static final CardinalityInterval SOME = atLeast(1);
+
+        public static final CardinalityInterval ERROR = EmptyCardinalityInterval.INSTANCE;
+
+        private CardinalityIntervals() {
+                throw new IllegalStateException("This is a static utility class and should not be instantiated directly");
+        }
+
+        public static CardinalityInterval between(int lowerBound, UpperCardinality upperBound) {
+                if (upperBound.compareToInt(lowerBound) < 0) {
+                        return ERROR;
+                }
+                return new NonEmptyCardinalityInterval(lowerBound, upperBound);
+        }
+
+        public static CardinalityInterval between(int lowerBound, int upperBound) {
+                return between(lowerBound, UpperCardinalities.atMost(upperBound));
+        }
+
+        public static CardinalityInterval atMost(UpperCardinality upperBound) {
+                return new NonEmptyCardinalityInterval(0, upperBound);
+        }
+
+        public static CardinalityInterval atMost(int upperBound) {
+                return atMost(UpperCardinalities.atMost(upperBound));
+        }
+
+        public static CardinalityInterval atLeast(int lowerBound) {
+                return new NonEmptyCardinalityInterval(lowerBound, UpperCardinalities.UNBOUNDED);
+        }
+
+        public static CardinalityInterval exactly(int lowerBound) {
+                return new NonEmptyCardinalityInterval(lowerBound, UpperCardinalities.atMost(lowerBound));
+        }
+}