Package | Description |
---|---|
de.uka.ilkd.key.informationflow.proof | |
de.uka.ilkd.key.proof |
This package contains the core data structures of proofs, nodes, goals, as well
as machinery to deal with these data structures.
|
Modifier and Type | Class and Description |
---|---|
class |
SideProofStatistics
Statistics for additional side proofs as, e.g., performed by information flow macro
|
Modifier and Type | Method and Description |
---|---|
SideProofStatistics |
SideProofStatistics.add(Statistics stat)
Add proof statistics to current side proof statistics object.
|
Modifier and Type | Method and Description |
---|---|
Statistics |
Proof.getStatistics()
Retrieves a bunch of statistics to the proof tree.
|
Statistics |
Node.statistics() |
Copyright © 2003-2019 The KeY-Project.