diff options
Diffstat (limited to 'Source/VCGeneration')
| -rw-r--r-- | Source/VCGeneration/Model.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/VCGeneration/Model.cs b/Source/VCGeneration/Model.cs index d2d9cc24..5e4a0a0f 100644 --- a/Source/VCGeneration/Model.cs +++ b/Source/VCGeneration/Model.cs @@ -99,6 +99,7 @@ namespace Microsoft.Boogie public readonly int Arity;
internal readonly List<FuncTuple> apps = new List<FuncTuple>();
public IEnumerable<FuncTuple> Apps { get { return apps; } }
+ public int AppCount { get { return apps.Count; } }
internal Func(Model p, string n, int a) { Model = p; Name = n; Arity = a; }
|