diff options
Diffstat (limited to 'src/util/regexp.i')
-rw-r--r-- | src/util/regexp.i | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/util/regexp.i b/src/util/regexp.i new file mode 100644 index 000000000..775e778f7 --- /dev/null +++ b/src/util/regexp.i @@ -0,0 +1,12 @@ +%{ +#include "util/regexp.h" +%} + +%rename(equals) CVC4::RegExpRepeat::operator==(const RegExpRepeat&) const; + +%rename(equals) CVC4::RegExpLoop::operator==(const RegExpLoop&) const; + +%ignore CVC4::operator<<(std::ostream&, const RegExpRepeat&); +%ignore CVC4::operator<<(std::ostream&, const RegExpLoop&); + +%include "util/regexp.h" |