From 60f01f46ba232ed6416054f0a6115cb2a9b70b4e Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 10 Jun 2017 19:05:05 +0200 Subject: Migrating Additional projects --- .../viatrasolver/logic2viatra/Modality.java | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/Modality.java (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/Modality.java') 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; + } +} -- cgit v1.2.3-70-g09d2