Package | Description |
---|---|
de.uka.ilkd.key.proof.io |
Classes related to loading and saving proof files.
|
de.uka.ilkd.key.proof.io.intermediate |
Class and Description |
---|
BranchNodeIntermediate
Node in an intermediate proof representation modeling a branch
node.
|
Class and Description |
---|
AppIntermediate
Represents an intermediate rule / taclet application.
|
BuiltInAppIntermediate
Encapsulates intermediate information for constructing a built-in rule application.
|
NodeIntermediate
Node in an intermediate proof representation.
|
Copyright © 2003-2019 The KeY-Project.