|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.util.collections.Pair<F,S>
public final class Pair<F,S>
A container class consisting of two elements of types.
first: F |
second: S |
Constructor Summary | |
---|---|
Pair(F first,
S second)
Constructs a pair out of the given elements. |
Method Summary | |
---|---|
boolean |
equals(java.lang.Object o)
Returns true if o is a Pair with first and last equals to this first and second. |
F |
first()
Returns this.first. |
int |
hashCode()
|
S |
second()
Returns this.second. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Pair(F first, S second)
this.first' = first and this.second' = second |
Method Detail |
---|
public F first()
public S second()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
Object.equals(java.lang.Object)
public int hashCode()
hashCode
in class java.lang.Object
Object.hashCode()
public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |