Package | Description |
---|---|
de.uka.ilkd.key.informationflow.proof |
Modifier and Type | Method and Description |
---|---|
SideProofStatistics |
SideProofStatistics.add(Statistics stat)
Add proof statistics to current side proof statistics object.
|
SideProofStatistics |
InfFlowProof.getSideProofStatistics()
returns statistics of possible side proofs that contributed to this proof
|
SideProofStatistics |
SideProofStatistics.setAutoModeTime(long autoTime)
Set time spent in auto mode.
|
Copyright © 2003-2019 The KeY-Project.