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/result.h | |
parent | b4fb5a6ad511f20ff88d2bf78194ef2e65dbde39 (diff) |
check last result in (get-assignment); some context cleanup
Diffstat (limited to 'src/util/result.h')
-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 " |