diff options
| author |  MichalMoskal <unknown> | 2010-10-14 21:45:03 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-10-14 21:45:03 +0000 |
| commit | fe8c2be3f0d21c75981f16c76003148300a917ec (patch) | |
| tree | 422d7e0557aff02d8ef58c01a1c7ee937bf226a2 /Source/Model/Model.cs | |
| parent | 692e5686954c0c6184f1d29a39cdbb4fb1be1760 (diff) | |
Add DisplayNode class with default IDisplayNode implementation. Add IDisplayNode.State.
Diffstat (limited to 'Source/Model/Model.cs')
| -rw-r--r-- | Source/Model/Model.cs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs index d7f78bfd..42302d00 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -265,6 +265,10 @@ namespace Microsoft.Boogie public IEnumerable<string> Variables { get { return vars; } }
public int VariableCount { get { return vars.Count; } }
+ public bool HasBinding(string varname)
+ {
+ return valuations.ContainsKey(varname);
+ }
public Element TryGet(string varname)
{
CapturedState curr = this;
|