%{
#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;%include "util/output.h"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback