From 47822bec9fded0eae3512ac8b146749d3dc0fe19 Mon Sep 17 00:00:00 2001
From: "Narazaki, Shuji" <shujinarazaki@protonmail.com>
Date: Tue, 11 Feb 2025 20:32:49 +0900
Subject: [PATCH] Define Eq for Var and Clause based on reference equivalency

---
 src/types/clause.rs | 10 +++++++++-
 src/types/var.rs    |  6 ++++++
 2 files changed, 15 insertions(+), 1 deletion(-)

diff --git a/src/types/clause.rs b/src/types/clause.rs
index 5160527b3..bc21549ed 100644
--- a/src/types/clause.rs
+++ b/src/types/clause.rs
@@ -8,7 +8,7 @@ use {
 };
 
 /// A representation of 'clause'
-#[derive(Clone, Debug, Eq, PartialEq, PartialOrd)]
+#[derive(Clone, Debug)]
 pub struct Clause {
     /// The literals in a clause.
     pub(crate) lits: Vec<Lit>,
@@ -85,6 +85,14 @@ impl Default for Clause {
     }
 }
 
+impl PartialEq for Clause {
+    fn eq(&self, other: &Self) -> bool {
+        self == other
+    }
+}
+
+impl Eq for Clause {}
+
 impl Index<usize> for Clause {
     type Output = Lit;
     #[inline]
diff --git a/src/types/var.rs b/src/types/var.rs
index afd9efc2e..0f79035ee 100644
--- a/src/types/var.rs
+++ b/src/types/var.rs
@@ -51,6 +51,12 @@ impl Default for Var {
     }
 }
 
+impl PartialEq for Var {
+    fn eq(&self, other: &Self) -> bool {
+        self == other
+    }
+}
+
 impl fmt::Display for Var {
     fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
         let st = |flag, mes| if self.is(flag) { mes } else { "" };