blob: ee3652a1e2f57747e7a021b7b622d02759fc5825 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
%{
#include "theory/logic_info.h"
%}
%ignore CVC4::LogicInfo::LogicInfo(const char*);
%rename(less) CVC4::LogicInfo::operator<(const LogicInfo&) const;
%rename(lessEqual) CVC4::LogicInfo::operator<=(const LogicInfo&) const;
%rename(greater) CVC4::LogicInfo::operator>(const LogicInfo&) const;
%rename(greaterEqual) CVC4::LogicInfo::operator>=(const LogicInfo&) const;
%rename(equals) CVC4::LogicInfo::operator==(const LogicInfo&) const;
%ignore CVC4::LogicInfo::operator!=(const LogicInfo&) const;
%ignore CVC4::operator<<(std::ostream&, const LogicInfo&);
%include "theory/logic_info.h"
|