blob: cb835fbb04cbc87a10ad3da85a09a4663415f29e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
%{
#include "util/result.h"
%}
%ignore CVC4::operator<<(std::ostream&, const Result& r);
%rename(equals) CVC4::Result::operator==(const Result& r) const;
%ignore CVC4::Result::operator!=(const Result& r) const;
%ignore CVC4::operator<<(std::ostream&, enum Result::Sat);
%ignore CVC4::operator<<(std::ostream&, enum Result::Entailment);
%ignore CVC4::operator<<(std::ostream&, enum Result::UnknownExplanation);
%ignore CVC4::operator==(enum Result::Sat, const Result&);
%ignore CVC4::operator!=(enum Result::Sat, const Result&);
%ignore CVC4::operator==(enum Result::Entailment, const Result&);
%ignore CVC4::operator!=(enum Result::Entailment, const Result&);
%include "util/result.h"
|