io.github.cvc5

Class Triplet<A,B,C>

java.lang.Object

io.github.cvc5.Triplet<A,B,C>

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

Field Summary

Fields

Modifier and Type	Field and Description
A	first
B	second
C	third

Constructor Summary

Constructors

Constructor and Description
Triplet(A first, B second, C third)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object object)

Methods inherited from class java.lang.Object

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

Field Detail

first

public A first

second

public B second

third

public C third

Constructor Detail

Triplet

public Triplet(A first,
               B second,
               C third)

Method Detail

equals

public boolean equals(java.lang.Object object)

Overrides:

equals in class java.lang.Object