src/util/rational.i

   1 %{
   2 #include "util/rational.h"
   3 %}
   4
   5 %ignore CVC4::Rational::Rational(int);
   6 %ignore CVC4::Rational::Rational(unsigned int);
   7 %ignore CVC4::Rational::Rational(int, int);
   8 %ignore CVC4::Rational::Rational(unsigned int, unsigned int);
   9 %ignore CVC4::Rational::Rational(const std::string&);
  10
  11 %rename(assign) CVC4::Rational::operator=(const Rational&);
  12 %rename(equals) CVC4::Rational::operator==(const Rational&) const;
  13 %ignore CVC4::Rational::operator!=(const Rational&) const;
  14 %rename(plus) CVC4::Rational::operator+(const Rational&) const;
  15 %rename(minus) CVC4::Rational::operator-() const;
  16 %rename(minus) CVC4::Rational::operator-(const Rational&) const;
  17 %rename(times) CVC4::Rational::operator*(const Rational&) const;
  18 %rename(dividedBy) CVC4::Rational::operator/(const Rational&) const;
  19 %rename(plusAssign) CVC4::Rational::operator+=(const Rational&);
  20 %rename(minusAssign) CVC4::Rational::operator-=(const Rational&);
  21 %rename(timesAssign) CVC4::Rational::operator*=(const Rational&);
  22 %rename(dividedByAssign) CVC4::Rational::operator/=(const Rational&);
  23 %rename(less) CVC4::Rational::operator<(const Rational&) const;
  24 %rename(lessEqual) CVC4::Rational::operator<=(const Rational&) const;
  25 %rename(greater) CVC4::Rational::operator>(const Rational&) const;
  26 %rename(greaterEqual) CVC4::Rational::operator>=(const Rational&) const;
  27
  28 %ignore CVC4::operator<<(std::ostream&, const Rational&);
  29
  30 %include "util/rational.h"