blob: b9c0e32ee5ce058ccf76476c529eeba22cf0a6a2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
%{
#include "util/output.h"
%}
%feature("valuewrapper") CVC4::null_streambuf;
%feature("valuewrapper") std::ostream;
// There are issues with SWIG's attempted wrapping of these variables when
// it tries to generate the getters and setters. For now, just ignore them.
%ignore CVC4::null_sb;
%ignore CVC4::null_os;
%ignore CVC4::DumpC::dump_cout;
%ignore operator<<;
%ignore on(std::string);
%ignore isOn(std::string);
%ignore off(std::string);
%ignore printf(std::string, const char*, ...);
%ignore operator()(std::string);
%ignore CVC4::ScopedDebug::ScopedDebug(std::string);
%ignore CVC4::ScopedDebug::ScopedDebug(std::string, bool);
%ignore CVC4::ScopedTrace::ScopedTrace(std::string);
%ignore CVC4::ScopedTrace::ScopedTrace(std::string, bool);
%rename(getostream) operator std::ostream&;
%rename(getCVC4ostream) operator CVC4ostream;
%rename(get) operator();
%rename(ok) operator bool;
%include "util/output.h"
|