de.uka.ilkd.key.strategy

Interface DelegationBasedAutomatedRuleApplicationManager

All Superinterfaces:

AutomatedRuleApplicationManager, NewRuleListener

All Known Implementing Classes:

FocussedBreakpointRuleApplicationManager, FocussedRuleApplicationManager

public interface DelegationBasedAutomatedRuleApplicationManager
extends AutomatedRuleApplicationManager

An AutomatedRuleApplicationManager based on delegation.

Author:

Dominic Steinhoefel

Method Summary

Modifier and Type	Method and Description
AutomatedRuleApplicationManager	getDelegate()

Methods inherited from interface de.uka.ilkd.key.strategy.AutomatedRuleApplicationManager

clearCache, copy, next, peekNext, setGoal

Methods inherited from interface de.uka.ilkd.key.proof.NewRuleListener

ruleAdded, rulesAdded

Method Detail

getDelegate

AutomatedRuleApplicationManager getDelegate()

Returns:

The delegate.