diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-07-07 21:03:25 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-07-07 21:03:25 -0500 |
| commit | 618a3763373c4e1b0c02664082b6d3dce4070098 (patch) | |
| tree | 10455cf49873406e3a2c1520692ad852ea574b40 /src/theory/strings/theory_strings.h | |
| parent | 730e277a542602f36fc548e8face6b8209b2bb94 (diff) | |
Simplifications for strings normal forms, fix case for concat reps in normal forms.
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 91ee775c6..2e0ac7224 100644 --- a/src/theory/strings/theory_strings.h +++ b/src/theory/strings/theory_strings.h @@ -262,7 +262,7 @@ private: Node checkCycles( Node eqc, std::vector< Node >& curr, std::vector< Node >& exp ); //normal forms check void checkNormalForms(); - bool normalizeEquivalenceClass( Node n, std::vector< Node > & nf, std::vector< Node > & nf_exp ); + bool normalizeEquivalenceClass( Node n ); bool getNormalForms( Node &eqc, std::vector< std::vector< Node > > &normal_forms, std::vector< Node > &normal_form_src, std::vector< std::vector< Node > > &normal_forms_exp, std::vector< std::map< Node, std::map< bool, int > > >& normal_forms_exp_depend); bool detectLoop(std::vector< std::vector< Node > > &normal_forms, |