public final class SideProofStatistics extends Statistics
autoModeTimeInMillis, blockLoopContractApps, branches, dependencyContractApps, interactiveSteps, loopInvApps, mergeRuleApps, nodes, operationContractApps, ossApps, quantifierInstantiations, smtSolverApps, symbExApps, timeInMillis, timePerStepInMillis, totalRuleApps
Modifier and Type | Method and Description |
---|---|
SideProofStatistics |
add(Statistics stat)
Add proof statistics to current side proof statistics object.
|
SideProofStatistics |
setAutoModeTime(long autoTime)
Set time spent in auto mode.
|
getInteractiveAppsDetails, getSummary, toString
public SideProofStatistics add(Statistics stat)
stat
- a proof statistics object.public SideProofStatistics setAutoModeTime(long autoTime)
autoTime
- auto mode time as long data type.Copyright © 2003-2019 The KeY-Project.