1 files changed, 22 insertions, 0 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/Modality.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/Modality.java
new file mode 100644
index 00000000..d2132cea
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/Modality.java
@@ -0,0 +1,22 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra;

+

+public enum Modality {

+        MUST, MAY, CURRENT;

+        public boolean isMust() {

+                return this == MUST;

+        }

+        public boolean isMay() {

+                return this == MAY;

+        }

+        public boolean isCurrent() {

+                return this == CURRENT;

+        }

+        public boolean isMustOrCurrent() {

+                return isMust() || isCurrent();

+        }

+        public Modality getDual() {

+                if(this.isCurrent()) return CURRENT;

+                else if(this.isMust())return MAY;

+                else return MUST;

+        }

+}