1 2 3 4 5 6 7 8 9 10 11 12 13 14
%{ #include "parser/parser.h" %} namespace CVC4 { namespace parser { enum DeclarationCheck; enum SymbolType; %ignore operator<<(std::ostream&, DeclarationCheck); %ignore operator<<(std::ostream&, SymbolType); }/* namespace CVC4::parser */ }/* namespace CVC4 */ %include "parser/parser.h"