Package io.github.cvc5

Class Triplet<A,B,C>

java.lang.Object
io.github.cvc5.Triplet<A,B,C>
Type Parameters:
A - the type of the first element
B - the type of the second element
C - the type of the third element
public class Triplet<A,B,C> extends Object
A generic container class to hold a triplet of objects.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    A
    first
    The first element of the triplet.
    B
    second
    The second element of the triplet.
    C
    third
    The third element of the triplet.

  • Constructor Summary

    Constructors
    Constructor
    Description
    Triplet(A first, B second, C third)
    Construct a new Triplet with the specified values.

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    equals(Object object)
    Indicate whether some other object is "equal to" this one.
    int
    hashCode()
    Return a hash code value for this triplet.

    Methods inherited from class java.lang.Object

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

  • Field Details

    • first

      public A first
      The first element of the triplet.

    • second

      public B second
      The second element of the triplet.

    • third

      public C third
      The third element of the triplet.

  • Constructor Details

    • Triplet

      public Triplet(A first, B second, C third)
      Construct a new Triplet with the specified values.
      Parameters:
      first - the first element
      second - the second element
      third - the third element

  • Method Details

    • equals

      public boolean equals(Object object)
      Indicate whether some other object is "equal to" this one. Two Triplet instances are equal if their corresponding first, second, and third elements are equal. Elements are compared with Objects.equals(Object, Object), so null elements are permitted and compare equal to each other.
      Overrides:
      equals in class Object
      Parameters:
      object - the object to compare with
      Returns:
      true if this object is equal to the specified object; false otherwise

    • hashCode

      public int hashCode()
      Return a hash code value for this triplet. The hash code is derived from the hash codes of the first, second and third elements, so that triplets that are equal according to equals(Object) have the same hash code.
      Overrides:
      hashCode in class Object
      Returns:
      a hash code value for this triplet