projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a517a91) | patch
Make `Theory::get()` private (#7518)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 4 Nov 2021 14:44:43 +0000 (07:44 -0700)
committerGitHub <noreply@github.com>
Thu, 4 Nov 2021 14:44:43 +0000 (14:44 +0000)
commit8c6752343ee49bed7abb03401c9411345b2dfe04
tree1c74ee94271ea92cf9ee2fc0d001c8ff28b8ee6ctree
parenta517a9127e0ef70424364d093bb21be64891dd0dcommit | diff
Make `Theory::get()` private (#7518)

Now that theories have been refactored to use common interfaces, they
should not access Theory::get() anymore because facts are consumed by
Theory::check().
src/theory/arith/theory_arith_private.h diff | blob | history
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history