Package | Description |
---|---|
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.
|
de.uka.ilkd.key.proof.proofevent |
Class and Description |
---|
RuleAppInfo
More specific information about a rule application (currently
information about added and removed formulas)
|
Class and Description |
---|
NodeChange
Information about one modification of one node
|
NodeChangeARFormula
Information about a formula that has been added or removed from a
node
|
NodeReplacement
Information about a node replacing its parent after a rule
application, currently giving information about added and removed
formulas
|
RuleAppInfo
More specific information about a rule application (currently
information about added and removed formulas)
|
Copyright © 2003-2019 The KeY-Project.