src/util/regexp.i

   1 %{
   2 #include "util/regexp.h"
   3 %}
   4
   5 %rename(CVC4String) String;
   6 %rename(CVC4StringHashFunction) CVC4::strings::StringHashFunction;
   7
   8 %ignore CVC4::String::String(const std::string&);
   9
  10 %rename(assign) CVC4::String::operator=(const String&);
  11 %rename(getChar) CVC4::String::operator[](const unsigned int) const;
  12 %rename(equals) CVC4::String::operator==(const String&) const;
  13 %ignore CVC4::String::operator!=(const String&) const;
  14 %rename(less) CVC4::String::operator<(const String&) const;
  15 %rename(lessEqual) CVC4::String::operator<=(const String&) const;
  16 %rename(greater) CVC4::String::operator>(const String&) const;
  17 %rename(greaterEqual) CVC4::String::operator>=(const String&) const;
  18
  19 %rename(apply) CVC4::strings::StringHashFunction::operator()(const ::CVC4::String&) const;
  20
  21 %ignore CVC4::operator<<(std::ostream&, const String&);
  22
  23 %apply int &OUTPUT { int &c };
  24 %include "util/regexp.h"
  25 %clear int &c;