gov.nasa.jpf.util

Class Pair<A,B>

java.lang.Object

gov.nasa.jpf.util.Pair<A,B>

public class Pair<A,B>
extends java.lang.Object

simple const wrapper utility class for 2-tuple

Field Summary

Fields

Modifier and Type	Field and Description
A	_1
B	_2

Constructor Summary

Constructors

Constructor and Description
Pair(A a, B b)

Method Summary

Modifier and Type	Method and 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

_1

public final A _1

_2

public final B _2

Constructor Detail

Pair

public Pair(A a,
            B b)

Method Detail

equals

public final boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public final int hashCode()

Overrides:

hashCode in class java.lang.Object