diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-10-11 03:32:33 -0500 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-10-11 03:33:28 -0500 |
commit | 857244b23ad9a8a53de7a3bbe1424d585a0a90f2 (patch) | |
tree | 9e0d83373117b89f85eea3ba386b99cc9a232207 /src/util/regexp.h | |
parent | f35d6f650e3face2b7e96c1efff67ad9325d02b3 (diff) |
add constant membership
Diffstat (limited to 'src/util/regexp.h')
-rw-r--r-- | src/util/regexp.h | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/util/regexp.h b/src/util/regexp.h index d4ad38b0f..31a39e6f9 100644 --- a/src/util/regexp.h +++ b/src/util/regexp.h @@ -22,7 +22,7 @@ #include <iostream> #include <string> -//#include "util/exception.h" +//#include "util/cvc4_assert.h" //#include "util/integer.h" #include "util/hash.h" @@ -126,6 +126,15 @@ public: return true; } + + bool isEmptyString() const { + return ( d_str.size() == 0 ); + } + + unsigned int operator[] (const unsigned int i) const { + //Assert( i < d_str.size() && i >= 0); + return d_str[i]; + } /* * Convenience functions */ |