Merge pull request #39 from kris7t/partial-interpretation

Implement partial interpretation based model generation

1 files changed, 1 insertions, 3 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/Modality.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/Modality.java
index 96466d5c..c99a0399 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/Modality.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/Modality.java
@@ -11,14 +11,12 @@ import java.util.Locale;
 
 public enum Modality {
         MUST,
-        MAY,
-        CURRENT;
+        MAY;
 
         public Modality negate() {
                 return switch(this) {
                         case MUST -> MAY;
                         case MAY -> MUST;
-                        case CURRENT -> CURRENT;
                 };
         }