de.uka.ilkd.key.strategy

Interface RuleAppCost

All Superinterfaces:

java.lang.Comparable<RuleAppCost>

All Known Implementing Classes:

NumberRuleAppCost, NumberRuleAppCost.IntRuleAppCost, NumberRuleAppCost.LongRuleAppCost, TopRuleAppCost

public interface RuleAppCost
extends java.lang.Comparable<RuleAppCost>

Method Summary

Modifier and Type	Method and Description
RuleAppCost	add(RuleAppCost cost2) Add the given costs to the costs that are represented by this object
int	compareTo(RuleAppCost o)

Method Detail

compareTo

int compareTo(RuleAppCost o)

Specified by:

compareTo in interface java.lang.Comparable<RuleAppCost>

add

RuleAppCost add(RuleAppCost cost2)

Add the given costs to the costs that are represented by this object