projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2ced5d) | patch
DecisionEngine: Use single unique pointer for ITE strategy . (#4078)
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 16 Mar 2020 20:10:05 +0000 (13:10 -0700)
committerGitHub <noreply@github.com>
Mon, 16 Mar 2020 20:10:05 +0000 (13:10 -0700)
commitf4cd63a00f1c8cc9e4d9e42fd171f7cb1a64aaab
tree9ef396c241d1435e472ad9b85104c9696b7cd303tree
parente2ced5d1e84ea1562eae907fd2b245bae4593406commit | 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.
src/decision/decision_engine.cpp diff | blob | history
src/decision/decision_engine.h diff | blob | history