public static enum TruthValueTracingUtil.TruthValue extends java.lang.Enum<TruthValueTracingUtil.TruthValue>
Enum Constant and Description |
---|
FALSE
False.
|
TRUE
True.
|
UNKNOWN
Unknown in cases:
Predicate evaluates to true and false.
|
public static final TruthValueTracingUtil.TruthValue TRUE
public static final TruthValueTracingUtil.TruthValue FALSE
public static final TruthValueTracingUtil.TruthValue UNKNOWN
public static TruthValueTracingUtil.TruthValue[] values()
for (TruthValueTracingUtil.TruthValue c : TruthValueTracingUtil.TruthValue.values()) System.out.println(c);
public static TruthValueTracingUtil.TruthValue valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is nullpublic java.lang.String toString()
toString
in class java.lang.Enum<TruthValueTracingUtil.TruthValue>
public static TruthValueTracingUtil.TruthValue and(TruthValueTracingUtil.TruthValue left, TruthValueTracingUtil.TruthValue right)
and
value.left
- The left TruthValueTracingUtil.TruthValue
.right
- The right TruthValueTracingUtil.TruthValue
.and
value.public static TruthValueTracingUtil.TruthValue imp(TruthValueTracingUtil.TruthValue left, TruthValueTracingUtil.TruthValue right)
imp
value.left
- The left TruthValueTracingUtil.TruthValue
.right
- The right TruthValueTracingUtil.TruthValue
.imp
value.public static TruthValueTracingUtil.TruthValue or(TruthValueTracingUtil.TruthValue left, TruthValueTracingUtil.TruthValue right)
or
value.left
- The left TruthValueTracingUtil.TruthValue
.right
- The right TruthValueTracingUtil.TruthValue
.or
value.public static TruthValueTracingUtil.TruthValue not(TruthValueTracingUtil.TruthValue value)
not
value.value
- The TruthValueTracingUtil.TruthValue
.not
value.public static TruthValueTracingUtil.TruthValue eqv(TruthValueTracingUtil.TruthValue left, TruthValueTracingUtil.TruthValue right)
eqv
value.value
- The TruthValueTracingUtil.TruthValue
.not
value.public static TruthValueTracingUtil.TruthValue ifThenElse(TruthValueTracingUtil.TruthValue conditionValue, TruthValueTracingUtil.TruthValue thenValue, TruthValueTracingUtil.TruthValue elseValue)
if-then-else
value.conditionValue
- The condition value.thenValue
- The then value.elseValue
- The else value.if-then-else
value.