de.uka.ilkd.key.proof

Class PrefixTermTacletAppIndexCacheImpl.CacheKey

java.lang.Object

de.uka.ilkd.key.proof.PrefixTermTacletAppIndexCacheImpl.CacheKey

Enclosing class:

PrefixTermTacletAppIndexCacheImpl

public static final class PrefixTermTacletAppIndexCacheImpl.CacheKey
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Term	analysedTerm
private PrefixTermTacletAppIndexCacheImpl	parent

Constructor Summary

Constructors

Constructor and Description
CacheKey(PrefixTermTacletAppIndexCacheImpl parent, Term analysedTerm)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

parent

private final PrefixTermTacletAppIndexCacheImpl parent

analysedTerm

public Term analysedTerm

Constructor Detail

CacheKey

public CacheKey(PrefixTermTacletAppIndexCacheImpl parent,
                Term analysedTerm)

Method Detail

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object