From 7cf46a19e4575e12191f599f246cdaa60d565441 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Tue, 11 Dec 2012 15:03:04 +0100
Subject: [PATCH] Equals for Sets.
---
src/main/java/leon/codegen/runtime/Set.java | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/src/main/java/leon/codegen/runtime/Set.java b/src/main/java/leon/codegen/runtime/Set.java
index df70fd057..f882fdf3b 100644
--- a/src/main/java/leon/codegen/runtime/Set.java
+++ b/src/main/java/leon/codegen/runtime/Set.java
@@ -74,4 +74,12 @@ public final class Set {
}
return new Set(n);
}
+
+ @Override
+ public boolean equals(Object that) {
+ if(that == this) return true;
+ if(!(that instanceof Set)) return false;
+ Set other = (Set)that;
+ return this.subsetOf(other) && other.subsetOf(this);
+ }
}
--
GitLab