Package de.uka.ilkd.key.proof.io.intermediate

Class Summary

Class	Description
AppIntermediate	Represents an intermediate rule / taclet application.
AppNodeIntermediate	Node in an intermediate proof representation storing a rule application.
BranchNodeIntermediate	Node in an intermediate proof representation modeling a branch node.
BuiltInAppIntermediate	Encapsulates intermediate information for constructing a built-in rule application.
MergeAppIntermediate	Encapsulates intermediate information for constructing a MergeRule application.
MergePartnerAppIntermediate	Encapsulates intermediate information for constructing a close-join-partner rule application.
NodeIntermediate	Node in an intermediate proof representation.
TacletAppIntermediate	Encapsulates intermediate information for constructing a taclet application.