store/src/main/java/org/eclipse/viatra/solver/data/model/representation/TruthValue.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

package org.eclipse.viatra.solver.data.model.representation;

public enum TruthValue {
	TRUE("true"),

	FALSE("false"),

	UNKNOWN("unknown"),

	ERROR("error");

	private final String name;

	private TruthValue(String name) {
		this.name = name;
	}

	public String getName() {
		return name;
	}

	public static TruthValue toTruthValue(boolean value) {
		return value ? TRUE : FALSE;
	}

	public boolean isConsistent() {
		return this != ERROR;
	}

	public boolean isComplete() {
		return this != UNKNOWN;
	}

	public boolean must() {
		return this == TRUE || this == ERROR;
	}

	public boolean may() {
		return this == TRUE || this == UNKNOWN;
	}

	public TruthValue not() {
		if (this == TRUE) {
			return FALSE;
		} else if (this == FALSE) {
			return TRUE;
		} else {
			return this;
		}
	}
}