Make set iteration order deterministic

Make the set class generic

1 files changed, 4 insertions, 3 deletions

diff --git a/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs b/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
index 299d49cf..74e36eae 100644
--- a/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
+++ b/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
@@ -11,9 +11,10 @@ namespace Microsoft.AbstractInterpretationFramework {
   //using Microsoft.SpecSharp.Collections;

   using System.Diagnostics.Contracts;

   using Microsoft.Basetypes;

-  using IMutableSet = Microsoft.Boogie.Set;

-  using HashSet = Microsoft.Boogie.Set;

-  using ISet = Microsoft.Boogie.Set;

+

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

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

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

 

   /// <summary>

   /// Represents a system of linear constraints (constraint/frame representations).