projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2cf724) | patch
theory: Have more classes in theory with reference to Env derive from EnvObj. (#7130)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 3 Sep 2021 12:34:27 +0000 (05:34 -0700)
committerGitHub <noreply@github.com>
Fri, 3 Sep 2021 12:34:27 +0000 (07:34 -0500)
commit8e2c02201d30b5715a095ffe0098dd74a636ac85
tree4e7b137a55a31c5a524b74d2075563f08e60838dtree
parentc2cf72496097cf94817e171ffa382c69e1da04bacommit | diff
theory: Have more classes in theory with reference to Env derive from EnvObj. (#7130)
13 files changed:
src/theory/combination_engine.cpp diff | blob | history
src/theory/combination_engine.h diff | blob | history
src/theory/model_manager.cpp diff | blob | history
src/theory/model_manager.h diff | blob | history
src/theory/sort_inference.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/theory/theory_model.cpp diff | blob | history
src/theory/theory_model.h diff | blob | history
src/theory/theory_model_builder.cpp diff | blob | history
src/theory/theory_model_builder.h diff | blob | history
src/theory/theory_state.cpp diff | blob | history
src/theory/theory_state.h diff | blob | history