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.cpp | |
| parent | c4f976a5c8338042f92da98bc54266ff55652833 (diff) | |
adds intersection
Diffstat (limited to 'src/util/regexp.cpp')
| -rw-r--r-- | src/util/regexp.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/util/regexp.cpp b/src/util/regexp.cpp index 684a480fb..fd5dff994 100644 --- a/src/util/regexp.cpp +++ b/src/util/regexp.cpp @@ -23,6 +23,13 @@ using namespace std; namespace CVC4 {
+void String::getCharSet(std::set<unsigned int> &cset) const {
+ for(std::vector<unsigned int>::const_iterator itr = d_str.begin();
+ itr != d_str.end(); itr++) {
+ cset.insert( *itr );
+ }
+}
+
std::string String::toString() const {
std::string str;
for(unsigned int i=0; i<d_str.size(); ++i) {
|