blob: ada3dd5839f75b0896d1a29031121b051d3c926d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
%{
#include "expr/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 "expr/emptyset.h"
|