de.uka.ilkd.key.rule

Class OneStepSimplifier.TermReplacementKey

java.lang.Object

de.uka.ilkd.key.rule.OneStepSimplifier.TermReplacementKey

Enclosing class:

OneStepSimplifier

private static class OneStepSimplifier.TermReplacementKey
extends java.lang.Object

Instances of this class are used in the Map of OneStepSimplifier#replaceKnown(TermServices, SequentFormula, Map, List, Protocol) to forece the same behavior as in Taclet rules where names of logical variables and TermLabels are ignored.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private Term	term The Term to represent.

Constructor Summary

Constructors

Constructor and Description
TermReplacementKey(Term term) Constructor.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

term

private final Term term

The Term to represent.

Constructor Detail

TermReplacementKey

public TermReplacementKey(Term term)

Constructor.

Parameters:

term - The Term to represent.

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object