KeyFactories.Key3

java.lang.Object
- org.projog.core.predicate.udp.KeyFactories.Key3

Enclosing class:: KeyFactories

private static final class KeyFactories.Key3
extends java.lang.Object

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  (package private) int hashCode
  
  (package private) Term t1
  
  (package private) Term t2
  
  (package private) Term t3
- Constructor Summary
  
  Constructors
  Constructor Description
  
  Key3(Term t1, Term t2, Term t3)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  boolean equals(java.lang.Object o)
  
  int hashCode()
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

t1
```
final Term t1
```

t2
```
final Term t2
```

t3
```
final Term t3
```

hashCode
```
final int hashCode
```

Constructor Detail

Key3

Key3(Term t1,
     Term t2,
     Term t3)

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