blob: 67eea4e04f20291a7a04f24bbdeb2791028ba0ef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
%{
#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;
%include "theory/logic_info.h"
|