diff options
| author |  MichalMoskal <unknown> | 2010-12-01 20:00:20 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-12-01 20:00:20 +0000 |
| commit | 6617f6cc2d3e6d0a23077562c17f7b0d82d98cee (patch) | |
| tree | d30003354e381123926cfe87f31f527e79ca06b2 /Source/Model | |
| parent | 53d6fccf747dd3592913382c2a773f5390541977 (diff) | |
Introduce node categories; sort fields based on that not special characters
Diffstat (limited to 'Source/Model')
| -rw-r--r-- | Source/Model/Model.cs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs index 0fe86f81..c04be448 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -162,6 +162,12 @@ namespace Microsoft.Boogie return null;
}
+ public bool IsTrue(params Element[] args)
+ {
+ var r = TryEval(args) as Boolean;
+ return r != null && r.Value;
+ }
+
public void AddApp(Element res, params Element[] args)
{
if (Arity == 0)
|