de.uka.ilkd.key.prover.impl

Classes

• AbstractProverCore
• AppliedRuleStopCondition
• ApplyStrategy
• ApplyStrategyInfo
• DefaultGoalChooser
• DefaultGoalChooserBuilder
• DefaultTaskFinishedInfo
• DefaultTaskStartedInfo
• DepthFirstGoalChooser
• DepthFirstGoalChooserBuilder
• SingleRuleApplicationInfo