blob: 189c94f1f21a4c96bccca2159e586b24d3a298c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
%{
#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(apply) CVC4::kind::KindHashFunction::operator()(::CVC4::Kind) const;
%rename(apply) CVC4::TypeConstantHashFunction::operator()(TypeConstant) const;
%rename(Kind) CVC4::kind::Kind_t;
%include "expr/kind.h"
|