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