projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef93759) | patch
Remove static accesses to options where EnvObj is used (#7330)
authorGereon Kremer <nafur42@gmail.com>
Sat, 9 Oct 2021 15:19:15 +0000 (08:19 -0700)
committerGitHub <noreply@github.com>
Sat, 9 Oct 2021 15:19:15 +0000 (10:19 -0500)
commit7990b5285c69e9a42aa430af5607b1c47b1602e6
tree0b42ad4df3e783ff816e14216080243419b8ec64tree
parentef9375982d084eaf3b80674bf4c269f6f87de942commit | diff
Remove static accesses to options where EnvObj is used (#7330)

This PR removes a bunch of static accesses in places where EnvObj is used now, and we can thus use options().
17 files changed:
src/smt/abduction_solver.cpp diff | blob | history
src/smt/assertions.cpp diff | blob | history
src/smt/preprocessor.cpp diff | blob | history
src/smt/process_assertions.cpp diff | blob | history
src/smt/proof_manager.cpp diff | blob | history
src/smt/proof_post_processor.cpp diff | blob | history
src/smt/smt_engine_state.cpp diff | blob | history
src/smt/sygus_solver.cpp diff | blob | history
src/theory/quantifiers/ematching/inst_strategy.cpp diff | blob | history
src/theory/quantifiers/ematching/inst_strategy_e_matching.cpp diff | blob | history
src/theory/quantifiers/ematching/instantiation_engine.cpp diff | blob | history
src/theory/quantifiers/ematching/trigger.cpp diff | blob | history
src/theory/quantifiers/fmf/model_engine.cpp diff | blob | history
src/theory/quantifiers/quantifiers_state.cpp diff | blob | history
src/theory/quantifiers/sygus/ce_guided_single_inv.cpp diff | blob | history
src/theory/quantifiers/sygus/cegis.cpp diff | blob | history
src/theory/quantifiers/sygus/enum_value_manager.cpp diff | blob | history