public class Statistics extends Object
Modifier and Type | Field and Description |
---|---|
long |
autoModeTimeInMillis |
int |
branches |
int |
dependencyContractApps |
private HashMap<String,Integer> |
interactiveAppsDetails |
int |
interactiveSteps |
int |
joinRuleApps |
int |
loopInvApps |
int |
nodes |
int |
operationContractApps |
int |
ossApps |
int |
quantifierInstantiations |
int |
smtSolverApps |
private List<Pair<String,String>> |
summaryList |
long |
timeInMillis |
float |
timePerStepInMillis |
int |
totalRuleApps |
Modifier | Constructor and Description |
---|---|
protected |
Statistics(int nodes,
int branches,
int interactiveSteps,
int quantifierInstantiations,
int ossApps,
int joinRuleApps,
int totalRuleApps,
int smtSolverApps,
int dependencyContractApps,
int operationContractApps,
int loopInvApps,
long autoModeTimeInMillis,
long timeInMillis,
float timePerStepInMillis) |
(package private) |
Statistics(Node startNode) |
(package private) |
Statistics(Proof proof) |
Modifier and Type | Method and Description |
---|---|
(package private) static Statistics |
create(Statistics side,
long creationTime) |
private void |
generateSummary(Proof proof) |
HashMap<String,Integer> |
getInteractiveAppsDetails() |
List<Pair<String,String>> |
getSummary() |
String |
toString() |
public final int nodes
public final int branches
public final int interactiveSteps
public final int quantifierInstantiations
public final int ossApps
public final int joinRuleApps
public final int totalRuleApps
public final int smtSolverApps
public final int dependencyContractApps
public final int operationContractApps
public final int loopInvApps
public final long autoModeTimeInMillis
public final long timeInMillis
public final float timePerStepInMillis
protected Statistics(int nodes, int branches, int interactiveSteps, int quantifierInstantiations, int ossApps, int joinRuleApps, int totalRuleApps, int smtSolverApps, int dependencyContractApps, int operationContractApps, int loopInvApps, long autoModeTimeInMillis, long timeInMillis, float timePerStepInMillis)
Statistics(Proof proof)
Statistics(Node startNode)
static Statistics create(Statistics side, long creationTime)
private void generateSummary(Proof proof)