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 java.lang.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