de.uka.ilkd.key.rule

Class RuleSet

java.lang.Object

de.uka.ilkd.key.rule.RuleSet

All Implemented Interfaces:

Named

public class RuleSet
extends java.lang.Object
implements Named

Field Summary

Fields

Modifier and Type	Field and Description
private Name	name name of the heuristic

Constructor Summary

Constructors

Constructor and Description
RuleSet(Name name) creates a heuristic

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o) returns true it the o is the same object as this
int	hashCode()
Name	name() gets name of the heuristic
java.lang.String	toString() toString

Methods inherited from class java.lang.Object

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

Field Detail

name

private Name name

name of the heuristic

Constructor Detail

RuleSet

public RuleSet(Name name)

creates a heuristic

Parameters:

name - Name object that contains name of the heuristic

Method Detail

name

public Name name()

gets name of the heuristic

Specified by:

name in interface Named

Returns:

Name object that is the name of the heuristic

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

returns true it the o is the same object as this

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

toString

Overrides:

toString in class java.lang.Object