diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-11-10 13:48:17 -0600 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-11-10 13:48:17 -0600 |
| commit | acb9a199fdf2005995137eff46f0cab697c69448 (patch) | |
| tree | 3c1c0e4da61f13b2e305b2e0cf44fa9d322f7b52 | |
| parent | f9f3d26e4f34bfa0b03e05af6b827e7b72ea6ebd (diff) | |
| parent | ec11be9214b5660e04dadb5b5e18d60f824a580a (diff) | |
Merge pull request #63 from mdeters/theorystrings-hashset-iteration
Update TheoryStrings to use CDHashSet<>::key_begin() / key_end().
| -rw-r--r-- | src/theory/strings/theory_strings.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index e8bf87a17..254aa9138 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -3247,8 +3247,8 @@ Node TheoryStrings::getNextDecisionRequest() { if( in_var_lsum.isNull() && !d_input_vars.empty() ){ Trace("strings-fmf-debug") << "Input variables: "; std::vector< Node > ll; - for(NodeSet::const_iterator itr = d_input_vars.begin(); - itr != d_input_vars.end(); ++itr) { + for(NodeSet::key_iterator itr = d_input_vars.key_begin(); + itr != d_input_vars.key_end(); ++itr) { Trace("strings-fmf-debug") << " " << (*itr) ; ll.push_back( NodeManager::currentNM()->mkNode( kind::STRING_LENGTH, *itr ) ); } |