diff options
| author |  MichalMoskal <unknown> | 2011-02-17 19:00:07 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-17 19:00:07 +0000 |
| commit | 12027267b93833110c0a1a044e1bc80ebf6e7b29 (patch) | |
| tree | 5a7c9491868ceb48cef281a86272e68d62e477fc /Source/Provers/SMTLib/SExpr.cs | |
| parent | 6873de1e22575d6d227b26ead84621d0fe4cab04 (diff) | |
Read prover responses; handle labels
Diffstat (limited to 'Source/Provers/SMTLib/SExpr.cs')
| -rw-r--r-- | Source/Provers/SMTLib/SExpr.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/SExpr.cs b/Source/Provers/SMTLib/SExpr.cs index 2d143830..d9d05f85 100644 --- a/Source/Provers/SMTLib/SExpr.cs +++ b/Source/Provers/SMTLib/SExpr.cs @@ -37,6 +37,11 @@ namespace Microsoft.Boogie }
}
+ public int ArgCount
+ {
+ get { return arguments.Length; }
+ }
+
public bool IsId
{
get { return Arguments.Length == 0; }
|