1 files changed, 41 insertions, 0 deletions
diff --git a/src/api/java/cvc5/Pair.java b/src/api/java/cvc5/Pair.java
new file mode 100644
index 000000000..19cd3e797
--- /dev/null
+++ b/src/api/java/cvc5/Pair.java
@@ -0,0 +1,41 @@
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Mudathir Mohamed
+ *
+ * This file is part of the cvc5 project.
+ *
+ * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ * ****************************************************************************
+ *
+ * The cvc5 java API.
+ */
+
+package cvc5;
+
+public class Pair<K, V>
+{
+  public K first;
+  public V second;
+  public Pair(K first, V second)
+  {
+    this.first = first;
+    this.second = second;
+  }
+
+  @Override public boolean equals(Object pair)
+  {
+    if (this == pair)
+      return true;
+    if (pair == null || getClass() != pair.getClass())
+      return false;
+
+    Pair<K, V> p = (Pair<K, V>) pair;
+
+    if (!first.equals(p.first))
+      return false;
+    return second.equals(p.second);
+  }
+}