diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-10-04 14:36:57 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-10-04 14:36:57 +0000 |
| commit | 01d547ba46a88b1ab98778cd267e6458b3e30713 (patch) | |
| tree | bda8542d464e6b7ae8499707a2e7e49beccc5c7c /src/util/output.i | |
| parent | 070b3f89d4bc9940fb87e86108152144b187c891 (diff) | |
cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fix
Diffstat (limited to 'src/util/output.i')
| -rw-r--r-- | src/util/output.i | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/util/output.i b/src/util/output.i index 10653c2f8..b9c0e32ee 100644 --- a/src/util/output.i +++ b/src/util/output.i @@ -11,4 +11,22 @@ %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" |