Merge pull request #1544 from smowton/smowton/feature/value_set_eq_operator

Add eq and neq operators to value_sett and related types

Author: tautschnig

src/pointer-analysis/value_set.h

@@ -56,6 +56,17 @@ class value_sett
     bool offset_is_set;
     bool offset_is_zero() const
     { return offset_is_set && offset.is_zero(); }
+
+    bool operator==(const objectt &other) const
+    {
+      return
+        offset_is_set==other.offset_is_set &&
+        (!offset_is_set || offset==other.offset);
+    }
+    bool operator!=(const objectt &other) const
+    {
+      return !(*this==other);
+    }
   };
 
   class object_map_dt
@@ -101,6 +112,15 @@ class value_sett
 
     object_map_dt()=default;
 
+    bool operator==(const object_map_dt &other) const
+    {
+      return data==other.data;
+    }
+    bool operator!=(const object_map_dt &other) const
+    {
+      return !(*this==other);
+    }
+
   protected:
     ~object_map_dt()=default;
   };
@@ -157,6 +177,18 @@ class value_sett
       suffix(_suffix)
     {
     }
+
+    bool operator==(const entryt &other) const
+    {
+      return
+        identifier==other.identifier &&
+        suffix==other.suffix &&
+        object_map==other.object_map;
+    }
+    bool operator!=(const entryt &other) const
+    {
+      return !(*this==other);
+    }
   };
 
   typedef std::set<exprt> expr_sett;