de.uka.ilkd.key.strategy

Class NumberRuleAppCost.LongRuleAppCost

java.lang.Object

de.uka.ilkd.key.strategy.NumberRuleAppCost

de.uka.ilkd.key.strategy.NumberRuleAppCost.LongRuleAppCost

All Implemented Interfaces:

RuleAppCost, java.lang.Comparable<RuleAppCost>

Enclosing class:

NumberRuleAppCost

private static final class NumberRuleAppCost.LongRuleAppCost
extends NumberRuleAppCost

Implementation of the RuleAppCost interface that uses a long value for the representation of costs, ordered by the usual ordering of natural numbers. Objects of this class are immutable

Field Summary

Fields

Modifier and Type	Field and Description
private long	cost

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LongRuleAppCost(long 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 long cost

Constructor Detail

LongRuleAppCost

protected LongRuleAppCost(long p_cost)

Method Detail

getValue

public final long getValue()

Description copied from class: NumberRuleAppCost

returns the cost

Specified by:

getValue in class NumberRuleAppCost