diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-11-01 11:58:57 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-01 11:58:57 -0700 |
commit | 86c541cdf83e0b98def5a479d1da966f2e959408 (patch) | |
tree | b8171b21b360c421582cdb25dde28641f746730b /src/theory/theory_model_builder.cpp | |
parent | 4874e4f9566b5e536e6c66b559574d2df97e20ec (diff) |
Fix and refactor TheoryStrings::checkFlatForms() (#3326)
This commit fixes some minor (performance) issues in
`TheoryStrings::checkFlatForms()`: The `inelig` vector was initialized
with copies of the `start` element instead of all the elements before
`start` and the `else` branch of `count == asize` was looping over all
elements from `1` instead of `start + 1`. Additionally, this commit
refactors the code to be a bit more readable.
Diffstat (limited to 'src/theory/theory_model_builder.cpp')
0 files changed, 0 insertions, 0 deletions