diff options
Diffstat (limited to 'src/util/result.h')
-rw-r--r-- | src/util/result.h | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/src/util/result.h b/src/util/result.h index ac52ee382..f0cf3f20e 100644 --- a/src/util/result.h +++ b/src/util/result.h @@ -55,6 +55,12 @@ public: VALIDITY_UNKNOWN = 2 }; + enum Type { + TYPE_SAT, + TYPE_VALIDITY, + TYPE_NONE + }; + enum UnknownExplanation { REQUIRES_FULL_CHECK, INCOMPLETE, @@ -71,11 +77,9 @@ public: private: enum Sat d_sat; enum Validity d_validity; - enum { TYPE_SAT, TYPE_VALIDITY, TYPE_NONE } d_which; + enum Type d_which; enum UnknownExplanation d_unknownExplanation; - friend std::ostream& CVC4::operator<<(std::ostream& out, const Result& r); - public: Result() : d_sat(SAT_UNKNOWN), @@ -126,6 +130,9 @@ public: bool isUnknown() const { return isSat() == SAT_UNKNOWN && isValid() == VALIDITY_UNKNOWN; } + Type getType() const { + return d_which; + } bool isNull() const { return d_which == TYPE_NONE; } |