2 #include "theory/logic_info.h"
5 %ignore CVC4::LogicInfo::LogicInfo(const char*);
7 %rename(less) CVC4::LogicInfo::operator<(const LogicInfo&) const;
8 %rename(lessEqual) CVC4::LogicInfo::operator<=(const LogicInfo&) const;
9 %rename(greater) CVC4::LogicInfo::operator>(const LogicInfo&) const;
10 %rename(greaterEqual) CVC4::LogicInfo::operator>=(const LogicInfo&) const;
12 %rename(equals) CVC4::LogicInfo::operator==(const LogicInfo&) const;
13 %ignore CVC4::LogicInfo::operator!=(const LogicInfo&) const;
15 %ignore CVC4::operator<<(std::ostream&, const LogicInfo&);
17 %include "theory/logic_info.h"