diff options
| author | Gereon Kremer <gkremer@stanford.edu> | 2020-12-10 01:10:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-09 16:10:36 -0800 |
| commit | cc6e04b4572180596ae25001d4a1b99884030a62 (patch) | |
| tree | 39a881a7e71491d57f92793f16abc597a565dce2 /src/theory/arrays | |
| parent | a11084e760f3ddf4e95e9aeabada3c3e66810a99 (diff) | |
Fixed a bunch of clang warnings. (#5637)
Diffstat (limited to 'src/theory/arrays')
| -rw-r--r-- | src/theory/arrays/theory_arrays.cpp | 6 | ||||
| -rw-r--r-- | src/theory/arrays/theory_arrays.h | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/arrays/theory_arrays.cpp b/src/theory/arrays/theory_arrays.cpp index 4d4ec89b4..b13bd6926 100644 --- a/src/theory/arrays/theory_arrays.cpp +++ b/src/theory/arrays/theory_arrays.cpp @@ -1758,7 +1758,7 @@ void TheoryArrays::checkRowLemmas(TNode a, TNode b) Trace("arrays-crl")<<"Arrays::checkLemmas done.\n"; } -void TheoryArrays::propagate(RowLemmaType lem) +void TheoryArrays::propagateRowLemma(RowLemmaType lem) { Debug("pf::array") << "TheoryArrays: RowLemma Propagate called. options::arraysPropagate() = " << options::arraysPropagate() << std::endl; @@ -1845,7 +1845,7 @@ void TheoryArrays::queueRowLemma(RowLemmaType lem) // If propagating, check propagations int prop = options::arraysPropagate(); if (prop > 0) { - propagate(lem); + propagateRowLemma(lem); } // Prefer equality between indexes so as not to introduce new read terms @@ -1975,7 +1975,7 @@ bool TheoryArrays::dischargeLemmas() int prop = options::arraysPropagate(); if (prop > 0) { - propagate(l); + propagateRowLemma(l); if (d_state.isInConflict()) { return true; diff --git a/src/theory/arrays/theory_arrays.h b/src/theory/arrays/theory_arrays.h index 5236324bc..7e4f0e36c 100644 --- a/src/theory/arrays/theory_arrays.h +++ b/src/theory/arrays/theory_arrays.h @@ -442,7 +442,7 @@ class TheoryArrays : public Theory { void checkStore(TNode a); void checkRowForIndex(TNode i, TNode a); void checkRowLemmas(TNode a, TNode b); - void propagate(RowLemmaType lem); + void propagateRowLemma(RowLemmaType lem); void queueRowLemma(RowLemmaType lem); bool dischargeLemmas(); |