public static class TruthValueTracingUtil.TruthValueTracingResult extends Object
Modifier and Type | Field and Description |
---|---|
private List<TruthValueTracingUtil.BranchResult> |
branchResults
|
Constructor and Description |
---|
TruthValueTracingUtil.TruthValueTracingResult() |
Modifier and Type | Method and Description |
---|---|
void |
addBranchResult(TruthValueTracingUtil.BranchResult result)
|
TruthValueTracingUtil.BranchResult[] |
getBranchResults()
Returns all
TruthValueTracingUtil.BranchResult s. |
String |
toString() |
private final List<TruthValueTracingUtil.BranchResult> branchResults
public TruthValueTracingUtil.TruthValueTracingResult()
public void addBranchResult(TruthValueTracingUtil.BranchResult result)
result
- The TruthValueTracingUtil.BranchResult
to add.public TruthValueTracingUtil.BranchResult[] getBranchResults()
TruthValueTracingUtil.BranchResult
s.TruthValueTracingUtil.BranchResult
s.