projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5712bdc) | patch
Move isFiniteType from theory engine to Env (#7287)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 4 Oct 2021 19:00:09 +0000 (14:00 -0500)
committerGitHub <noreply@github.com>
Mon, 4 Oct 2021 19:00:09 +0000 (19:00 +0000)
commitb848e5a94e0d73214ec4cbcba4a08c0da2f239d5
tree5f99b67e8775a5881503cdfdbafe5efe07162907tree
parent5712bdcd06a9f9502c3b5487386e1277702e25f4commit | diff
Move isFiniteType from theory engine to Env (#7287)

In preparation for breaking more dependencies on TheoryEngine.
23 files changed:
src/smt/env.cpp diff | blob | history
src/smt/env.h diff | blob | history
src/theory/datatypes/sygus_extension.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/quantifiers/fmf/bounded_integers.cpp diff | blob | history
src/theory/quantifiers/fmf/model_engine.cpp diff | blob | history
src/theory/quantifiers/quant_split.cpp diff | blob | history
src/theory/sep/theory_sep.cpp diff | blob | history
src/theory/sets/cardinality_extension.cpp diff | blob | history
src/theory/shared_solver.cpp diff | blob | history
src/theory/strings/base_solver.cpp diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/term_registration_visitor.cpp diff | blob | history
src/theory/term_registration_visitor.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.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
src/theory/uf/ho_extension.cpp diff | blob | history
src/theory/valuation.cpp diff | blob | history
src/theory/valuation.h diff | blob | history