src/util/output.i

   1 %{
   2 #include "util/output.h"
   3 %}
   4
   5 %feature("valuewrapper") CVC4::null_streambuf;
   6 %feature("valuewrapper") std::ostream;
   7
   8 // There are issues with SWIG's attempted wrapping of these variables when
   9 // it tries to generate the getters and setters.  For now, just ignore them.
  10 %ignore CVC4::null_sb;
  11 %ignore CVC4::null_os;
  12 %ignore CVC4::DumpC::dump_cout;
  13
  14 %include "util/output.h"