de.uka.ilkd.key.pp

Class AbbrevMap.AbbrevWrapper

java.lang.Object

de.uka.ilkd.key.pp.AbbrevMap.AbbrevWrapper

Enclosing class:

AbbrevMap

public static class AbbrevMap.AbbrevWrapper
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private Term	t

Constructor Summary

Constructors

Constructor and Description
AbbrevWrapper(Term t)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
Term	getTerm()
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

t

private Term t

Constructor Detail

AbbrevWrapper

public AbbrevWrapper(Term t)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getTerm

public Term getTerm()