diff options
Diffstat (limited to 'src/util/result.h')
| -rw-r--r-- | src/util/result.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/util/result.h b/src/util/result.h index 7d53f8add..fd1d82d9b 100644 --- a/src/util/result.h +++ b/src/util/result.h @@ -155,6 +155,12 @@ std::ostream& operator<<(std::ostream& out, std::ostream& operator<<(std::ostream& out, enum Result::UnknownExplanation e) CVC4_PUBLIC; +bool operator==(enum Result::Sat s, const Result& r) throw() CVC4_PUBLIC; +bool operator==(enum Result::Validity v, const Result& r) throw() CVC4_PUBLIC; + +bool operator!=(enum Result::Sat s, const Result& r) throw() CVC4_PUBLIC; +bool operator!=(enum Result::Validity v, const Result& r) throw() CVC4_PUBLIC; + }/* CVC4 namespace */ #endif /* __CVC4__RESULT_H */ |