2 #include "util/datatype.h"
5 %rename(equals) CVC4::Datatype::operator==(const Datatype&) const;
6 %ignore CVC4::Datatype::operator!=(const Datatype&) const;
8 %rename(beginConst) CVC4::Datatype::begin() const;
9 %rename(endConst) CVC4::Datatype::end() const;
11 %rename(getConstructor) CVC4::Datatype::operator[](size_t) const;
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;
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&);
22 %include "util/datatype.h"