src/expr/kind.i


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"