public static class TruthValueTracingUtil.BranchResult
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Term |
condition
|
private java.lang.String |
conditionString
|
private Node |
leafNode
The leaf
Node . |
private java.util.Map<java.lang.String,TruthValueTracingUtil.MultiEvaluationResult> |
results
All found results.
|
private Name |
termLabelName
|
Constructor and Description |
---|
BranchResult(Node leafNode,
java.util.Map<java.lang.String,TruthValueTracingUtil.MultiEvaluationResult> results,
Term condition,
java.lang.String conditionString,
Name termLabelName)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
TruthValueTracingUtil.TruthValue |
evaluate(FormulaTermLabel termLabel)
Evaluates the given
FormulaTermLabel . |
Term |
getCondition()
|
java.lang.String |
getConditionString()
|
Node |
getLeafNode()
Returns the leaf
Node . |
FormulaTermLabel |
getPredicateLabel(Term term)
|
TruthValueTracingUtil.MultiEvaluationResult |
getResult(FormulaTermLabel termLabel)
Returns the
TruthValueTracingUtil.MultiEvaluationResult for the given FormulaTermLabel . |
java.util.Map<java.lang.String,TruthValueTracingUtil.MultiEvaluationResult> |
getResults()
Returns all found results.
|
Name |
getTermLabelName()
|
boolean |
hasPredicateLabel(Term term)
|
java.lang.String |
toPrettyString()
Creates a pretty printed
String . |
java.lang.String |
toString() |
void |
updateResult(FormulaTermLabel termLabel,
TruthValueTracingUtil.MultiEvaluationResult result)
Updates a result.
|
private final java.util.Map<java.lang.String,TruthValueTracingUtil.MultiEvaluationResult> results
private final Term condition
private final java.lang.String conditionString
private final Name termLabelName
public BranchResult(Node leafNode, java.util.Map<java.lang.String,TruthValueTracingUtil.MultiEvaluationResult> results, Term condition, java.lang.String conditionString, Name termLabelName)
leafNode
- The leaf Node
.results
- All found results.condition
- The condition under which the leaf Node
is reached from the analyzed Node
.conditionString
- The human readable condition under which the leaf Node
is reached from the analyzed Node
.termLabelName
- The Name
of the TermLabel
to consider.public java.util.Map<java.lang.String,TruthValueTracingUtil.MultiEvaluationResult> getResults()
public TruthValueTracingUtil.MultiEvaluationResult getResult(FormulaTermLabel termLabel)
TruthValueTracingUtil.MultiEvaluationResult
for the given FormulaTermLabel
.termLabel
- The FormulaTermLabel
.TruthValueTracingUtil.MultiEvaluationResult
or null
if not available.public void updateResult(FormulaTermLabel termLabel, TruthValueTracingUtil.MultiEvaluationResult result)
Warning: TruthValueTracingUtil.BranchResult
s are considered to be unmodifiable. This means that an update of the result needs to be done before results are shown to the user by the UI.
termLabel
- The FormulaTermLabel
to update.result
- The new result of the given FormulaTermLabel
.public Term getCondition()
public java.lang.String getConditionString()
public boolean hasPredicateLabel(Term term)
public FormulaTermLabel getPredicateLabel(Term term)
term
- The Term
.FormulaTermLabel
or null
otherwise.public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toPrettyString()
String
.String
.public TruthValueTracingUtil.TruthValue evaluate(FormulaTermLabel termLabel)
FormulaTermLabel
.termLabel
- The FormulaTermLabel
to evaluate.