public final class SideProofStatistics extends Statistics
Modifier and Type | Field and Description |
---|---|
private int |
sideProofs |
autoModeTimeInMillis, branches, dependencyContractApps, interactiveSteps, joinRuleApps, loopInvApps, nodes, operationContractApps, ossApps, quantifierInstantiations, smtSolverApps, timeInMillis, timePerStepInMillis, totalRuleApps
Modifier | Constructor and Description |
---|---|
private |
SideProofStatistics(int sideProofs,
int nodes,
int branches,
int interactiveSteps,
int quantifierInstantiations,
int ossApps,
int joinRuleApps,
int totalRuleApps,
int smtSolverApps,
int dependencyContractApps,
int operationContractApps,
int loopInvApps,
long autoModeTime) |
Modifier and Type | Method and Description |
---|---|
(package private) SideProofStatistics |
add(SideProofStatistics stat) |
SideProofStatistics |
add(Statistics stat) |
(package private) static SideProofStatistics |
create(SideProofStatistics stat) |
(package private) static SideProofStatistics |
create(Statistics stat) |
SideProofStatistics |
setAutoModeTime(long autoTime) |
getInteractiveAppsDetails, getSummary, toString
private SideProofStatistics(int sideProofs, int nodes, int branches, int interactiveSteps, int quantifierInstantiations, int ossApps, int joinRuleApps, int totalRuleApps, int smtSolverApps, int dependencyContractApps, int operationContractApps, int loopInvApps, long autoModeTime)
static SideProofStatistics create(SideProofStatistics stat)
static SideProofStatistics create(Statistics stat)
SideProofStatistics add(SideProofStatistics stat)
public SideProofStatistics add(Statistics stat)
public SideProofStatistics setAutoModeTime(long autoTime)