public static class TruthValueTracingUtil.MultiEvaluationResult
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private boolean |
evaluatesToFalse
true label evaluates at least once to false, false label never evaluates to false. |
private boolean |
evaluatesToTrue
true label evaluates at least once to true, false label never evaluates to true. |
private Term |
instructionTerm
The instruction
Term . |
Constructor and Description |
---|
MultiEvaluationResult(boolean evaluationResult)
Constructor.
|
MultiEvaluationResult(boolean evaluatesToTrue,
boolean evaluatesToFalse,
Term instructionTerm)
Constructor.
|
MultiEvaluationResult(Term instructionTerm)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
TruthValueTracingUtil.TruthValue |
evaluate(Name termLabelName,
java.util.Map<java.lang.String,TruthValueTracingUtil.MultiEvaluationResult> results)
Computes the final truth value.
|
private static TruthValueTracingUtil.TruthValue |
evaluateTerm(Term term,
Name termLabelName,
java.util.Map<java.lang.String,TruthValueTracingUtil.MultiEvaluationResult> results)
Computes the
TruthValueTracingUtil.TruthValue of the given instruction Term . |
Term |
getInstructionTerm()
Returns the instruction
Term . |
boolean |
isEvaluatesToFalse()
Checks if it is at least once evaluated to
false . |
boolean |
isEvaluatesToTrue()
Checks if it is at least once evaluated to
true . |
TruthValueTracingUtil.MultiEvaluationResult |
newEvaluatesToFalse(boolean newEvaluatesToFalse)
Creates a new
TruthValueTracingUtil.MultiEvaluationResult based on the current once
but with an update evaluates to false state. |
TruthValueTracingUtil.MultiEvaluationResult |
newEvaluatesToTrue(boolean newEvaluatesToTrue)
Creates a new
TruthValueTracingUtil.MultiEvaluationResult based on the current once
but with an update evaluates to true state. |
TruthValueTracingUtil.MultiEvaluationResult |
newEvaluationResult(boolean evaluationResult)
Creates a new
TruthValueTracingUtil.MultiEvaluationResult based on the current once
but with an updated evaluation result. |
TruthValueTracingUtil.MultiEvaluationResult |
newInstructionTerm(Term newInstructionTerm)
Creates a new
TruthValueTracingUtil.MultiEvaluationResult based on the current once
but with an update instruction term. |
java.lang.String |
toPrettyString(Services services)
Creates a pretty printed
String . |
java.lang.String |
toString() |
private final boolean evaluatesToTrue
true
label evaluates at least once to true, false
label never evaluates to true.private final boolean evaluatesToFalse
true
label evaluates at least once to false, false
label never evaluates to false.public MultiEvaluationResult(boolean evaluationResult)
evaluationResult
- true
label evaluates at least once to true, false
label evaluates at least once to false.public MultiEvaluationResult(Term instructionTerm)
instructionTerm
- The instruction Term
.public MultiEvaluationResult(boolean evaluatesToTrue, boolean evaluatesToFalse, Term instructionTerm)
evaluatesToTrue
- true
label evaluates at least once to true, false
label never evaluates to true.evaluatesToFalse
- true
label evaluates at least once to false, false
label never evaluates to false.instructionTerm
- The instruction Term
.public boolean isEvaluatesToTrue()
true
.true
label evaluates at least once to true, false
label never evaluates to true.public boolean isEvaluatesToFalse()
false
.true
label evaluates at least once to false, false
label never evaluates to false.public Term getInstructionTerm()
Term
.Term
or null
if undefined.public TruthValueTracingUtil.MultiEvaluationResult newEvaluationResult(boolean evaluationResult)
TruthValueTracingUtil.MultiEvaluationResult
based on the current once
but with an updated evaluation result.evaluationResult
- true
label evaluates at least once to true, false
label evaluates at least once to false.TruthValueTracingUtil.MultiEvaluationResult
.public TruthValueTracingUtil.MultiEvaluationResult newEvaluatesToTrue(boolean newEvaluatesToTrue)
TruthValueTracingUtil.MultiEvaluationResult
based on the current once
but with an update evaluates to true state.newEvaluatesToTrue
- true
label evaluates at least once to true, false
label never evaluates to true.TruthValueTracingUtil.MultiEvaluationResult
.public TruthValueTracingUtil.MultiEvaluationResult newEvaluatesToFalse(boolean newEvaluatesToFalse)
TruthValueTracingUtil.MultiEvaluationResult
based on the current once
but with an update evaluates to false state.newEvaluatesToFalse
- true
label evaluates at least once to false, false
label never evaluates to false.TruthValueTracingUtil.MultiEvaluationResult
.public TruthValueTracingUtil.MultiEvaluationResult newInstructionTerm(Term newInstructionTerm)
TruthValueTracingUtil.MultiEvaluationResult
based on the current once
but with an update instruction term.newInstructionTerm
- The new instruction Term
.TruthValueTracingUtil.MultiEvaluationResult
.public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toPrettyString(Services services)
String
.services
- The Services
to use.String
.public TruthValueTracingUtil.TruthValue evaluate(Name termLabelName, java.util.Map<java.lang.String,TruthValueTracingUtil.MultiEvaluationResult> results)
termLabelName
- The Name
of the TermLabel
to consider.results
- All available TruthValueTracingUtil.MultiEvaluationResult
s.TruthValueTracingUtil.TruthValue
.private static TruthValueTracingUtil.TruthValue evaluateTerm(Term term, Name termLabelName, java.util.Map<java.lang.String,TruthValueTracingUtil.MultiEvaluationResult> results)
TruthValueTracingUtil.TruthValue
of the given instruction Term
.term
- The instruction Term
to evaluate.termLabelName
- The Name
of the TermLabel
to consider.results
- All available TruthValueTracingUtil.MultiEvaluationResult
s.TruthValueTracingUtil.TruthValue
.