src/util/datatype.i

   1 %{
   2 #include "util/datatype.h"
   3 %}
   4
   5 %rename(equals) CVC4::Datatype::operator==(const Datatype&) const;
   6 %ignore CVC4::Datatype::operator!=(const Datatype&) const;
   7
   8 %rename(beginConst) CVC4::Datatype::begin() const;
   9 %rename(endConst) CVC4::Datatype::end() const;
  10
  11 %rename(getConstructor) CVC4::Datatype::operator[](size_t) const;
  12
  13 %rename(apply) CVC4::DatatypeHashFunction::operator()(const Datatype&) const;
  14 %ignore CVC4::DatatypeHashFunction::operator()(const Datatype*) const;
  15 %rename(apply) CVC4::DatatypeHashFunction::operator()(const Datatype::Constructor&) const;
  16 %ignore CVC4::DatatypeHashFunction::operator()(const Datatype::Constructor*) const;
  17
  18 %ignore CVC4::operator<<(std::ostream&, const Datatype&);
  19 %ignore CVC4::operator<<(std::ostream&, const Datatype::Constructor&);
  20 %ignore CVC4::operator<<(std::ostream&, const Datatype::Constructor::Arg&);
  21
  22 %include "util/datatype.h"