de.uka.ilkd.key.strategy

Class NumberRuleAppCost.IntRuleAppCost

java.lang.Object

de.uka.ilkd.key.strategy.NumberRuleAppCost

de.uka.ilkd.key.strategy.NumberRuleAppCost.IntRuleAppCost

All Implemented Interfaces:

RuleAppCost, java.lang.Comparable<RuleAppCost>

Enclosing class:

NumberRuleAppCost

private static final class NumberRuleAppCost.IntRuleAppCost
extends NumberRuleAppCost

Field Summary

Fields

Modifier and Type	Field and Description
private int	cost

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IntRuleAppCost(int p_cost)

Method Summary

Modifier and Type	Method and Description
long	getValue() returns the cost

Methods inherited from class de.uka.ilkd.key.strategy.NumberRuleAppCost

add, add, compareTo, compareTo, create, create, equals, getZeroCost, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

cost

private final int cost

Constructor Detail

IntRuleAppCost

protected IntRuleAppCost(int p_cost)

Method Detail

getValue

public final long getValue()

Description copied from class: NumberRuleAppCost

returns the cost

Specified by:

getValue in class NumberRuleAppCost