blob: 1636eba5bdaa27da9fc03dc75dd9c834af6eb2fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
%{
#include "expr/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;
%rename(apply) CVC4::UninterpretedConstantHashFunction::operator()(const UninterpretedConstant&) const;
%ignore CVC4::operator<<(std::ostream&, const UninterpretedConstant&);
%include "expr/uninterpreted_constant.h"
|
