public static class TruthValueTracingUtil.BranchResult extends Object
Modifier and Type | Field and Description |
---|---|
private Term |
condition
|
private String |
conditionString
|
private Node |
leafNode
The leaf
Node . |
private Map<String,TruthValueTracingUtil.MultiEvaluationResult> |
results
All found results.
|
private Name |
termLabelName
|
Constructor and Description |
---|
TruthValueTracingUtil.BranchResult(Node leafNode,
Map<String,TruthValueTracingUtil.MultiEvaluationResult> results,
Term condition,
String conditionString,
Name termLabelName)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
TruthValueTracingUtil.TruthValue |
evaluate(FormulaTermLabel termLabel)
Evaluates the given
FormulaTermLabel . |
Term |
getCondition()
|
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 . |
Map<String,TruthValueTracingUtil.MultiEvaluationResult> |
getResults()
Returns all found results.
|
Name |
getTermLabelName()
|
boolean |
hasPredicateLabel(Term term)
|
String |
toPrettyString()
Creates a pretty printed
String . |
String |
toString() |
void |
updateResult(FormulaTermLabel termLabel,
TruthValueTracingUtil.MultiEvaluationResult result)
Updates a result.
|
private final Map<String,TruthValueTracingUtil.MultiEvaluationResult> results
private final Term condition
private final String conditionString
private final Name termLabelName
public TruthValueTracingUtil.BranchResult(Node leafNode, Map<String,TruthValueTracingUtil.MultiEvaluationResult> results, Term condition, 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 Map<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 String getConditionString()
public boolean hasPredicateLabel(Term term)
public FormulaTermLabel getPredicateLabel(Term term)
term
- The Term
.FormulaTermLabel
or null
otherwise.public String toPrettyString()
String
.String
.public TruthValueTracingUtil.TruthValue evaluate(FormulaTermLabel termLabel)
FormulaTermLabel
.termLabel
- The FormulaTermLabel
to evaluate.