1 2 3 4 5 6 7 8 9 10 11
%{ #include "expr/kind.h" %} %ignore CVC4::kind::operator<<(std::ostream&, CVC4::Kind); %ignore CVC4::operator<<(std::ostream&, TypeConstant); %ignore CVC4::theory::operator<<(std::ostream&, TheoryId); %ignore CVC4::theory::operator++(TheoryId&); %include "expr/kind.h"