diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-03-25 01:08:29 -0500 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-03-27 16:56:14 -0500 |
commit | 03034910cedc64a1a3a5d83715c79294cb35bee8 (patch) | |
tree | a5fcdf31fb0b21bc62b47ec001c4d59f0ab9bede /src/util/regexp.h | |
parent | c4f976a5c8338042f92da98bc54266ff55652833 (diff) |
adds intersection
Diffstat (limited to 'src/util/regexp.h')
-rw-r--r-- | src/util/regexp.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/util/regexp.h b/src/util/regexp.h index 7985f4072..512c2eff0 100644 --- a/src/util/regexp.h +++ b/src/util/regexp.h @@ -23,6 +23,7 @@ #include <iostream> #include <iomanip> #include <string> +#include <set> #include <sstream> #include "util/exception.h" //#include "util/integer.h" @@ -31,7 +32,6 @@ namespace CVC4 { class CVC4_PUBLIC String { - public: static unsigned int convertCharToUnsignedInt( char c ) { int i = (int)c; @@ -342,6 +342,7 @@ public: return -1; } } + void getCharSet(std::set<unsigned int> &cset) const; };/* class String */ namespace strings { |