src/util/tuple.i

   1 %{
   2 #include "util/tuple.h"
   3 %}
   4
   5 %rename(equals) CVC4::TupleUpdate::operator==(const TupleUpdate&) const;
   6 %ignore CVC4::TupleUpdate::operator!=(const TupleUpdate&) const;
   7
   8 %rename(apply) CVC4::TupleUpdateHashFunction::operator()(const TupleUpdate&) const;
   9
  10 %ignore CVC4::operator<<(std::ostream&, const TupleUpdate&);
  11
  12 %include "util/tuple.h"