blob: c0bdc5390e7f2b7ae810f86622e95e377f3f7d22 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
%{
#include "util/uninterpreted_constant.h"
%}
%rename(less) CVC4::UninterpretedConstant::operator<(const UninterpretedConstant&) const;
%rename(lessEqual) CVC4::UninterpretedConstant::operator<=(const UninterpretedConstant&) const;
%rename(greater) CVC4::UninterpretedConstant::operator>(const UninterpretedConstant&) const;
%rename(greaterEqual) CVC4::UninterpretedConstant::operator>=(const UninterpretedConstant&) const;
%rename(equals) CVC4::UninterpretedConstant::operator==(const UninterpretedConstant&) const;
%ignore CVC4::UninterpretedConstant::operator!=(const UninterpretedConstant&) const;
%include "util/uninterpreted_constant.h"
|