diff options
author | MichalMoskal <unknown> | 2010-11-06 01:21:28 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2010-11-06 01:21:28 +0000 |
commit | 67fc54f87988135c316f5d3b4ef2d90b59ba2374 (patch) | |
tree | 8192f94232602000ec4947fda35d3d1f67704add /Source/Model | |
parent | 34e5dd6c2177a83159982aca6c025ef95474689c (diff) |
Improve the generic model viewer
Diffstat (limited to 'Source/Model')
-rw-r--r-- | Source/Model/Model.cs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs index 3d1df65e..0fe86f81 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -5,6 +5,7 @@ //-----------------------------------------------------------------------------
using System;
+using System.Linq;
using System.Collections.Generic;
namespace Microsoft.Boogie
@@ -303,6 +304,14 @@ namespace Microsoft.Boogie public readonly string Name;
public IEnumerable<string> Variables { get { return vars; } }
+ public IEnumerable<string> AllVariables {
+ get {
+ if (previous != null)
+ return previous.AllVariables.Concat(Variables).Distinct();
+ else
+ return Variables;
+ }
+ }
public int VariableCount { get { return vars.Count; } }
public bool HasBinding(string varname)
{
|