diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-03-16 13:10:05 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-16 13:10:05 -0700 |
| commit | f4cd63a00f1c8cc9e4d9e42fd171f7cb1a64aaab (patch) | |
| tree | 9ef396c241d1435e472ad9b85104c9696b7cd303 /src/theory/arith/constraint.cpp | |
| parent | e2ced5d1e84ea1562eae907fd2b245bae4593406 (diff) | |
DecisionEngine: Use single unique pointer for ITE strategy . (#4078)
Previously, DecisionEngine maintained a vector of ITE strategies.
However, only one was ever created. This uses a single unique_ptr member
for the ITE strategy instead of a vector.
Diffstat (limited to 'src/theory/arith/constraint.cpp')
0 files changed, 0 insertions, 0 deletions