blob: d2132ceab873eacded4a0d3366404ad278e0751e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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;
}
}
|