diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-24 14:22:37 -0600 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-24 15:39:59 -0600 |
| commit | 3ab011aa6ff71ae2c10e94579bfdb3d38156f830 (patch) | |
| tree | b33a1b69bb661cc8aa71fc64f431a9b6ed089c95 /src/theory/strings/theory_strings.h | |
| parent | 58cf0ba414fd51c77128a590df4ed2acf040d853 (diff) | |
rev const split
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 3d9d1641f..e7f875157 100644 --- a/src/theory/strings/theory_strings.h +++ b/src/theory/strings/theory_strings.h @@ -213,7 +213,7 @@ private: std::vector< Node > &normal_form_src, std::vector< Node > &curr_exp, unsigned i, unsigned j ); bool processSimpleNeq( std::vector< std::vector< Node > > &normal_forms, std::vector< Node > &normal_form_src, std::vector< Node > &curr_exp, unsigned i, unsigned j, - unsigned& index_i, unsigned& index_j ); + unsigned& index_i, unsigned& index_j, bool isRev ); bool normalizeEquivalenceClass( Node n, std::vector< Node > & visited, std::vector< Node > & nf, std::vector< Node > & nf_exp ); bool normalizeDisequality( Node n1, Node n2 ); bool unrollStar( Node atom ); |