summaryrefslogtreecommitdiff
path: root/src/expr/kind.i
blob: 1c17f3ff999c58952711029eea781cc30a07fcec (plain) 
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"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback