blob: 5f1e2bd8bdfb22e53f8ec3b53930eeab344b877d (
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 org.eclipse.viatra.solver.data;
public class Logic4Valued extends Logic2Valued {
protected static final String unknownName = "unknown";
protected static final String errorName = "error";
public static final TruthValue unknownValue = new NamedTruthValue(unknownName);
public static final TruthValue errorValue = new NamedTruthValue(errorName);
// public TruthValue getImplMin(TruthValue a, TruthValue b) {
//
// }
// public TruthValue getImplMax(TruthValue a, TruthValue b) {
//
// }
// public TruthValue getInfoMin(TruthValue a, TruthValue b) {
//
// }
// public TruthValue getInfoMax(TruthValue a, TruthValue b) {
//
// }
}
|