blob: 48828cb7e7f9e5a6bcef91acbd04111a1497e232 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
%{
#include "util/stats.h"
%}
%ignore CVC4::operator<<(std::ostream&, const ::timespec&);
%rename(increment) CVC4::IntStat::operator++();
%rename(plusAssign) CVC4::IntStat::operator+=(int64_t);
%rename(plusAssign) CVC4::operator+=(::timespec&, const ::timespec&);
%rename(minusAssign) CVC4::operator-=(::timespec&, const ::timespec&);
%rename(plus) CVC4::operator+(const ::timespec&, const ::timespec&);
%rename(minus) CVC4::operator-(const ::timespec&, const ::timespec&);
%rename(equals) CVC4::operator==(const ::timespec&, const ::timespec&);
%ignore CVC4::operator!=(const ::timespec&, const ::timespec&);
%rename(less) CVC4::operator<(const ::timespec&, const ::timespec&);
%rename(lessEqual) CVC4::operator<=(const ::timespec&, const ::timespec&);
%rename(greater) CVC4::operator>(const ::timespec&, const ::timespec&);
%rename(greaterEqual) CVC4::operator>=(const ::timespec&, const ::timespec&);
%include "util/stats.h"
|
