de.uka.ilkd.key.strategy

Class TopRuleAppCost

java.lang.Object

de.uka.ilkd.key.strategy.TopRuleAppCost

All Implemented Interfaces:

RuleAppCost, java.lang.Comparable<RuleAppCost>

public class TopRuleAppCost
extends java.lang.Object
implements RuleAppCost

Singleton implementation of the RuleAppCost interface, which denotes a maximum cost (rule applications with this cost can't be afforded at all)

Field Summary

Fields

Modifier and Type	Field and Description
static TopRuleAppCost	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	TopRuleAppCost()

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)
boolean	equals(java.lang.Object o)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final TopRuleAppCost INSTANCE

Constructor Detail

TopRuleAppCost

private TopRuleAppCost()

Method Detail

compareTo

public int compareTo(RuleAppCost o)

Specified by:

compareTo in interface RuleAppCost

Specified by:

compareTo in interface java.lang.Comparable<RuleAppCost>

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

add

public final RuleAppCost add(RuleAppCost cost2)

Description copied from interface: RuleAppCost

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

Specified by:

add in interface RuleAppCost

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object