Class KeyFactories.Key3

java.lang.Object

org.projog.core.predicate.udp.KeyFactories.Key3

Enclosing class:

KeyFactories

private static final class KeyFactories.Key3
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
(package private) final Term	t3

Constructor Summary

Constructors

Constructor	Description
Key3(Term t1, Term t2, Term t3)

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

t3

final Term t3

hashCode

final int hashCode

Constructor Details

Key3

Key3(Term t1,
 Term t2,
 Term t3)

Method Details

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object