de.uka.ilkd.key.strategy

Class TopRuleAppCost

java.lang.Object

de.uka.ilkd.key.strategy.TopRuleAppCost

All Implemented Interfaces:

RuleAppCost, Comparable<RuleAppCost>

public class TopRuleAppCost
extends 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(Object o)
int	hashCode()
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 Comparable<RuleAppCost>

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class 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 String toString()

Overrides:

toString in class Object