projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 906aa7a) | patch
Remove `Theory::postsolve()` (#8924)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 30 Jun 2022 23:18:06 +0000 (16:18 -0700)
committerGitHub <noreply@github.com>
Thu, 30 Jun 2022 23:18:06 +0000 (23:18 +0000)
commit9480126b2c18d634b83b29e595e9bb54df72c1e0
tree8fae1fbcfd2f7b7914a129cdef9e7752ed984601tree
parent906aa7a59ffde0db0b7a3d81c37ea472eedb691ecommit | diff
Remove `Theory::postsolve()` (#8924)

The feature was not used. This commit also uses the removal to simplify
`SolverEngine` a bit.
src/smt/solver_engine.cpp diff | blob | history
src/smt/solver_engine.h diff | blob | history
src/smt/solver_engine_state.cpp diff | blob | history
src/smt/solver_engine_state.h diff | blob | history
src/theory/mktheorytraits diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history