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.
JoinAppIntermediate	Encapsulates intermediate information for constructing a join rule application.
JoinPartnerAppIntermediate	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.