Class KeyFactories.Key2

java.lang.Object

org.projog.core.predicate.udp.KeyFactories.Key2

Enclosing class:

KeyFactories

private static final class KeyFactories.Key2
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final int	hashCode
(package private) final Term	t1
(package private) final Term	t2

Constructor Summary

Constructors

Constructor	Description
Key2(Term t1, Term t2)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
int	hashCode()

Methods inherited from class Object

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

Field Details

t1

final Term t1

t2

final Term t2

hashCode

final int hashCode

Constructor Details

Key2

Key2(Term t1,
 Term t2)

Method Details

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object