diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-10-12 14:09:54 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-10-12 14:09:54 +0000 |
| commit | ec320b78deaaf31bdae1b8b048f66cfb1b3a4197 (patch) | |
| tree | bf5fc292d26e49de97fe6c2eff6e2667d56c1895 /src/util | |
| parent | b4fb5a6ad511f20ff88d2bf78194ef2e65dbde39 (diff) | |
check last result in (get-assignment); some context cleanup
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/result.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/util/result.h b/src/util/result.h index fc2fa4522..62ddc74d0 100644 --- a/src/util/result.h +++ b/src/util/result.h @@ -122,6 +122,9 @@ public: bool isUnknown() const { return isSat() == SAT_UNKNOWN && isValid() == VALIDITY_UNKNOWN; } + bool isNull() const { + return d_which == TYPE_NONE; + } enum UnknownExplanation whyUnknown() const { AlwaysAssert( isUnknown(), "This result is not unknown, so the reason for " |