diff options
Diffstat (limited to 'subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/Modality.java')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/Modality.java | 4 |
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; | |||
11 | 11 | ||
12 | public enum Modality { | 12 | public enum Modality { |
13 | MUST, | 13 | MUST, |
14 | MAY, | 14 | MAY; |
15 | CURRENT; | ||
16 | 15 | ||
17 | public Modality negate() { | 16 | public Modality negate() { |
18 | return switch(this) { | 17 | return switch(this) { |
19 | case MUST -> MAY; | 18 | case MUST -> MAY; |
20 | case MAY -> MUST; | 19 | case MAY -> MUST; |
21 | case CURRENT -> CURRENT; | ||
22 | }; | 20 | }; |
23 | } | 21 | } |
24 | 22 | ||