summaryrefslogtreecommitdiff
path: root/src/expr/kind.i
blob: 95c350cf3abe7c1d4ea89b64bc9bebd047bddb6c (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13

%{
#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&);

%rename(Kind) CVC4::kind::Kind_t;

%include "expr/kind.h"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback