diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-10-15 13:16:03 -0500 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-10-15 13:16:03 -0500 |
| commit | fb5fcafe43c1c7fc65c852dad2b7541df0b352c8 (patch) | |
| tree | 6f1c372dc497cdcda05a9e4c188d3c91b703ee74 /src/theory/strings/theory_strings.h | |
| parent | 4616f6f1232cba756a0dcabb267e52dd042df1ab (diff) | |
bug fix: string cache cleaning
Diffstat (limited to 'src/theory/strings/theory_strings.h')
| -rw-r--r-- | src/theory/strings/theory_strings.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h index d059d8bba..d043f06ec 100644 --- a/src/theory/strings/theory_strings.h +++ b/src/theory/strings/theory_strings.h @@ -150,6 +150,8 @@ class TheoryStrings : public Theory { NodeList d_reg_exp_mem; std::map< Node, bool > d_reg_exp_unroll; std::map< Node, int > d_reg_exp_unroll_depth; + //antecedant for why reg exp membership must be true + std::map< Node, Node > d_reg_exp_ant; ///////////////////////////////////////////////////////////////////////////// // MODEL GENERATION |