gov.nasa.jpf.symbc.veritesting.VeritestingUtil

Class Pair<T,V>

java.lang.Object

gov.nasa.jpf.symbc.veritesting.VeritestingUtil.Pair<T,V>

Type Parameters:

T -

V -

public class Pair<T,V>
extends java.lang.Object

Base class that this used to pair any two types.

Field Summary

Fields

Modifier and Type	Field and Description
private T	first
private V	second

Constructor Summary

Constructors

Constructor and Description
Pair(T first, V second)

Method Summary

Modifier and Type	Method and Description
T	getFirst()
V	getSecond()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

first

private T first

second

private V second

Constructor Detail

Pair

public Pair(T first,
            V second)

Method Detail

getFirst

public T getFirst()

getSecond

public V getSecond()