blob: ce4f3a4b79fdee553fc021c7e9d34af121ce3e7e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
%{
#include "util/emptyset.h"
%}
%rename(equals) CVC4::EmptySet::operator==(const EmptySet&) const;
%ignore CVC4::EmptySet::operator!=(const EmptySet&) const;
%rename(less) CVC4::EmptySet::operator<(const EmptySet&) const;
%rename(lessEqual) CVC4::EmptySet::operator<=(const EmptySet&) const;
%rename(greater) CVC4::EmptySet::operator>(const EmptySet&) const;
%rename(greaterEqual) CVC4::EmptySet::operator>=(const EmptySet&) const;
%rename(apply) CVC4::EmptySetHashFunction::operator()(const EmptySet&) const;
%ignore CVC4::operator<<(std::ostream& out, const EmptySet& es);
%include "util/emptyset.h"
|
