1 files changed, 2 insertions, 0 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/CardinalityInterval.java b/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/CardinalityInterval.java
index 704ca2fc..b20c685a 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/CardinalityInterval.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/representation/cardinality/CardinalityInterval.java
@@ -18,6 +18,8 @@ public sealed interface CardinalityInterval permits NonEmptyCardinalityInterval,
 
         CardinalityInterval add(CardinalityInterval other);
 
+        CardinalityInterval take(int count);
+
         CardinalityInterval multiply(CardinalityInterval other);
 
         CardinalityInterval meet(CardinalityInterval other);