de.uka.ilkd.key.util

Class Quadruple<T1,T2,T3,T4>

java.lang.Object

de.uka.ilkd.key.util.Quadruple<T1,T2,T3,T4>

public class Quadruple<T1,T2,T3,T4>
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
T1	first
T4	fourth
T2	second
T3	third

Constructor Summary

Constructors

Constructor and Description
Quadruple(T1 first, T2 second, T3 third, T4 fourth)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

first

public final T1 first

second

public final T2 second

third

public final T3 third

fourth

public final T4 fourth

Constructor Detail

Quadruple

public Quadruple(T1 first,
                 T2 second,
                 T3 third,
                 T4 fourth)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object