diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-02-28 22:56:45 -0600 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-02-28 22:59:00 -0600 |
commit | 0e7bfa71e7bea8b832df00d00332b42bf8bca60b (patch) | |
tree | ce0ac17a6c67030f36b1fa662535a0e84233da29 /src/util/regexp.h | |
parent | fb4104e7c5a88741f9ffd55384198af31435df9e (diff) |
add re.nostr for the empty regular expression; add re.allchar for the regular expresssion containing all charactors
Diffstat (limited to 'src/util/regexp.h')
-rw-r--r-- | src/util/regexp.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/util/regexp.h b/src/util/regexp.h index dadc5996c..7985f4072 100644 --- a/src/util/regexp.h +++ b/src/util/regexp.h @@ -404,16 +404,6 @@ struct CVC4_PUBLIC RegExpHashFunction { std::ostream& operator <<(std::ostream& os, const RegExp& s) CVC4_PUBLIC; -class CVC4_PUBLIC RegExpEmpty : public RegExp { -public: - RegExpEmpty() : RegExp(0) {} -}; - -class CVC4_PUBLIC RegExpSigma : public RegExp { -public: - RegExpSigma() : RegExp(2) {} -}; - }/* CVC4 namespace */ #endif /* __CVC4__REGEXP_H */ |