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 | |
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')
0 files changed, 0 insertions, 0 deletions