diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-03-26 17:30:30 -0500 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-03-27 16:56:14 -0500 |
commit | 39ecf62936e75db50b50a54c24288fd0d7b3c81f (patch) | |
tree | baddc2bb0a3f80b2454462a9ce4a22d384621915 /src/util/regexp.h | |
parent | 03034910cedc64a1a3a5d83715c79294cb35bee8 (diff) |
deriv symbolic regexp
Diffstat (limited to 'src/util/regexp.h')
-rw-r--r-- | src/util/regexp.h | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/util/regexp.h b/src/util/regexp.h index 512c2eff0..8c4a3922d 100644 --- a/src/util/regexp.h +++ b/src/util/regexp.h @@ -307,18 +307,14 @@ public: String substr(unsigned i) const { std::vector<unsigned int> ret_vec; std::vector<unsigned int>::const_iterator itr = d_str.begin() + i; - //for(unsigned k=0; k<i; k++) ++itr; ret_vec.insert(ret_vec.end(), itr, d_str.end()); - return String(ret_vec); + return String(ret_vec); } String substr(unsigned i, unsigned j) const { std::vector<unsigned int> ret_vec; std::vector<unsigned int>::const_iterator itr = d_str.begin() + i; - //for(unsigned k=0; k<i; k++) ++itr; - //std::vector<unsigned int>::const_iterator itr2 = itr; - //for(unsigned k=0; k<j; k++) ++itr2; ret_vec.insert( ret_vec.end(), itr, itr + j ); - return String(ret_vec); + return String(ret_vec); } bool isNumber() const { if(d_str.size() == 0) return false; |