gov.nasa.jpf.symbc.veritesting.VeritestingUtil

Class Triple<T,V,K>

java.lang.Object

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

Type Parameters:

T -

V -

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

Base class that this used to pair any three types.

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
Triple(T first, V second, K third)

Method Summary

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

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

third

private K third

Constructor Detail

Triple

public Triple(T first,
              V second,
              K third)

Method Detail

getFirst

public T getFirst()

getSecond

public V getSecond()

getThird

public K getThird()