de.uka.ilkd.key.strategy

Interface RuleAppCostCollector

public interface RuleAppCostCollector

Interface for collecting RuleApps, together with their assigned cost. This interface is used in the signature of the method Strategy.instantiateApp

Method Summary

Modifier and Type	Method and Description
void	collect(RuleApp app, RuleAppCost cost)

Method Detail

collect

void collect(RuleApp app,
             RuleAppCost cost)