diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-02-17 21:09:33 -0600 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-02-17 21:09:33 -0600 |
commit | 84da041c64ef16b95f3028183e1a5a2c994d98ec (patch) | |
tree | 66fc4c0fca3d1ed253a8a6dd4628b44a5fde69da /src/theory/strings | |
parent | 12794a1a7daae3abe713e77d41bb58d59b061830 (diff) |
bring back the commits which is lost accidentally.
Diffstat (limited to 'src/theory/strings')
-rw-r--r-- | src/theory/strings/theory_strings_preprocess.cpp | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/theory/strings/theory_strings_preprocess.cpp b/src/theory/strings/theory_strings_preprocess.cpp index 2b8aeddcc..d27dcfc9e 100644 --- a/src/theory/strings/theory_strings_preprocess.cpp +++ b/src/theory/strings/theory_strings_preprocess.cpp @@ -484,11 +484,15 @@ Node StringsPreprocess::simplify( Node t, std::vector< Node > &new_nodes ) { return retNode; } -void StringsPreprocess::simplify(std::vector< Node > &vec_node) { - std::vector< Node > new_nodes; +void StringsPreprocess::simplify(std::vector< Node > &vec_node, std::vector< Node > &new_nodes) { for( unsigned i=0; i<vec_node.size(); i++ ){ vec_node[i] = simplify( vec_node[i], new_nodes ); } +} + +void StringsPreprocess::simplify(std::vector< Node > &vec_node) { + std::vector< Node > new_nodes; + simplify(vec_node, new_nodes); vec_node.insert( vec_node.end(), new_nodes.begin(), new_nodes.end() ); } |