de.uka.ilkd.key.prover

Interfaces

• GoalChooser
• GoalChooserBuilder
• ProverCore
• ProverTaskListener
• StopCondition
• TaskFinishedInfo
• TaskStartedInfo

Enums

• TaskStartedInfo.TaskKind