projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ef9f24) | patch
move collectAssertedTerms back to the theory class (#7018)
authorGereon Kremer <nafur42@gmail.com>
Wed, 18 Aug 2021 23:20:30 +0000 (16:20 -0700)
committerGitHub <noreply@github.com>
Wed, 18 Aug 2021 23:20:30 +0000 (23:20 +0000)
commitfbf6733b9c182d0e0ecedfaa5dc9f576f6f1607f
treeb0dc15d510ba631ad745edf91da474f72ce2e342tree
parent7ef9f24a1a879d278d8ac5a3fef28c7ca8489d2ccommit | diff
move collectAssertedTerms back to the theory class (#7018)

This PR moves the collectAssertedTerms utility function from the model manager to the theory class. This allows to use the utility also when we are not currently building the model.
src/theory/model_manager.cpp diff | blob | history
src/theory/model_manager.h diff | blob | history
src/theory/model_manager_distributed.cpp diff | blob | history
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history