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