blob: afc51abd74ae4f82f5a05da32ed1fce16f957cc9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
%{
#include "util/regexp.h"
%}
%rename(CVC4String) String;
%rename(CVC4StringHashFunction) CVC4::strings::StringHashFunction;
%ignore CVC4::String::String(const std::string&);
%rename(assign) CVC4::String::operator=(const String&);
%rename(getChar) CVC4::String::operator[](const unsigned int) const;
%rename(equals) CVC4::String::operator==(const String&) const;
%ignore CVC4::String::operator!=(const String&) const;
%rename(less) CVC4::String::operator<(const String&) const;
%rename(lessEqual) CVC4::String::operator<=(const String&) const;
%rename(greater) CVC4::String::operator>(const String&) const;
%rename(greaterEqual) CVC4::String::operator>=(const String&) const;
%rename(apply) CVC4::strings::StringHashFunction::operator()(const ::CVC4::String&) const;
%ignore CVC4::operator<<(std::ostream&, const String&);
%apply int &OUTPUT { int &c };
%include "util/regexp.h"
%clear int &c;
|