blob: 1498f92891ac24c4ff0ffda03b1ae68c15eea04d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
%{
#include "util/tuple.h"
%}
%rename(equals) CVC4::TupleSelect::operator==(const TupleSelect&) const;
%ignore CVC4::TupleSelect::operator!=(const TupleSelect&) const;
%rename(equals) CVC4::TupleUpdate::operator==(const TupleUpdate&) const;
%ignore CVC4::TupleUpdate::operator!=(const TupleUpdate&) const;
%rename(apply) CVC4::TupleSelectHashFunction::operator()(const TupleSelect&) const;
%rename(apply) CVC4::TupleUpdateHashFunction::operator()(const TupleUpdate&) const;
%ignore CVC4::operator<<(std::ostream&, const TupleSelect&);
%ignore CVC4::operator<<(std::ostream&, const TupleUpdate&);
%include "util/tuple.h"
|