1 2 3 4 5 6 7 8 9 10
%{ #include "util/options.h" %} %ignore CVC4::operator<<(std::ostream&, Options::SimplificationMode); %ignore CVC4::operator<<(std::ostream&, Options::ArithPivotRule); %apply char** STRING_ARRAY { char* argv[] } %include "util/options.h" %clear char* argv[];