Make set iteration order deterministic

Make the set class generic

1 files changed, 5 insertions, 4 deletions

diff --git a/Source/AIFramework/Lattice.cs b/Source/AIFramework/Lattice.cs
index 005c9b17..ab10be9a 100644
--- a/Source/AIFramework/Lattice.cs
+++ b/Source/AIFramework/Lattice.cs
@@ -11,11 +11,12 @@ namespace Microsoft.AbstractInterpretationFramework {
   using System.Diagnostics;

   using Microsoft.AbstractInterpretationFramework.Collections;

   using Microsoft.Boogie;

-  using IMutableSet = Microsoft.Boogie.Set;

-  using ISet = Microsoft.Boogie.Set;

-  using HashSet = Microsoft.Boogie.Set;

-  using ArraySet = Microsoft.Boogie.Set;

 

+  using ArraySet = Microsoft.Boogie.GSet<object>;
+  using IMutableSet = Microsoft.Boogie.GSet<object>; 

+  using HashSet = Microsoft.Boogie.GSet<object>;

+  using ISet = Microsoft.Boogie.GSet<object>;

+  using Set = Microsoft.Boogie.GSet<object>;

 

 

   /// <summary>