io.github.cvc5

Class Pair<K,V>

java.lang.Object

io.github.cvc5.Pair<K,V>

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

Field Summary

Fields

Modifier and Type	Field and Description
K	first
V	second

Constructor Summary

Constructors

Constructor and Description
Pair(K first, V second)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

first

public K first

second

public V second

Constructor Detail

Pair

public Pair(K first,
            V second)

Method Detail

equals

public boolean equals(java.lang.Object pair)

Overrides:

equals in class java.lang.Object