diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-04-06 11:38:12 -0700 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-04-06 11:38:12 -0700 |
| commit | 77d9680e27352f5b91651b3cd0326538563dd993 (patch) | |
| tree | 03861f3291e6830f61caa68ddcd0f5d2029d673a /Source/ModelViewer/DataModel.cs | |
| parent | 29f76bba5d0aa6d29acf7b69978280ed0b115488 (diff) | |
Introduce states more aggressively. Show is_null() for pointers.
Diffstat (limited to 'Source/ModelViewer/DataModel.cs')
| -rw-r--r-- | Source/ModelViewer/DataModel.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/ModelViewer/DataModel.cs b/Source/ModelViewer/DataModel.cs index ff33231f..4a1acb42 100644 --- a/Source/ModelViewer/DataModel.cs +++ b/Source/ModelViewer/DataModel.cs @@ -246,6 +246,11 @@ namespace Microsoft.Boogie.ModelViewer foreach (var s in inp) fn(s);
}
+ public static void AddRange<T>(this HashSet<T> st, IEnumerable<T> elts)
+ {
+ foreach (var e in elts) st.Add(e);
+ }
+
public static T OrElse<T>(T a, T b)
where T : class
{
|