diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-12-03 22:53:02 -0600 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-12-03 22:53:48 -0600 |
| commit | d8fd36d709c753671762e91720d8b2415b22bf08 (patch) | |
| tree | 06d754b882d784f9feac599a2658bd656e3ab358 /src/theory/strings/theory_strings.h | |
| parent | ce3b3b2c4aebff1cde3e7979c1a0eabb1c8dd695 (diff) | |
adds LB strategy
Diffstat (limited to 'src/theory/strings/theory_strings.h')
| -rw-r--r-- | src/theory/strings/theory_strings.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h index c7ea830b6..9fae67a9f 100644 --- a/src/theory/strings/theory_strings.h +++ b/src/theory/strings/theory_strings.h @@ -198,7 +198,7 @@ private: bool detectLoop(std::vector< std::vector< Node > > &normal_forms, int i, int j, int index_i, int index_j, int &loop_in_i, int &loop_in_j); - bool processLoop(std::vector< Node > &curr_exp, + bool processLoop(std::vector< Node > &antec, std::vector< std::vector< Node > > &normal_forms, std::vector< Node > &normal_form_src, int i, int j, int loop_n_index, int other_n_index, |