de.uka.ilkd.key.proof.join

Interfaces

• JoinProcessor.Listener
• PredicateEstimator
• PredicateEstimator.Result

Classes

• JoinIsApplicable
• JoinProcessor
• ProspectivePartner
• StdPredicateEstimator

Enums

• LateApplicationCheck