public static class TruthValueTracingUtil.TruthValueTracingResult
extends java.lang.Object
Constructor and Description |
---|
TruthValueTracingResult() |
Modifier and Type | Method and Description |
---|---|
void |
addBranchResult(TruthValueTracingUtil.BranchResult result)
|
TruthValueTracingUtil.BranchResult[] |
getBranchResults()
Returns all
TruthValueTracingUtil.BranchResult s. |
java.lang.String |
toString() |
public void addBranchResult(TruthValueTracingUtil.BranchResult result)
result
- The TruthValueTracingUtil.BranchResult
to add.public TruthValueTracingUtil.BranchResult[] getBranchResults()
TruthValueTracingUtil.BranchResult
s.TruthValueTracingUtil.BranchResult
s.public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.