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/theory/strings/theory_strings.h | |
| parent | 03034910cedc64a1a3a5d83715c79294cb35bee8 (diff) | |
deriv symbolic regexp
Diffstat (limited to 'src/theory/strings/theory_strings.h')
| -rw-r--r-- | src/theory/strings/theory_strings.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h index 355c536dd..9f99012df 100644 --- a/src/theory/strings/theory_strings.h +++ b/src/theory/strings/theory_strings.h @@ -311,6 +311,7 @@ private: // intersection NodeListMap d_str_re_map; NodeNodeMap d_inter_cache; + NodeIntMap d_inter_index; // antecedant for why regexp membership must be true NodeNodeMap d_regexp_ant; // membership length |