projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ffdc8a3) | patch
Replace more static options accesses (#7531)
authorGereon Kremer <nafur42@gmail.com>
Mon, 1 Nov 2021 12:08:09 +0000 (05:08 -0700)
committerGitHub <noreply@github.com>
Mon, 1 Nov 2021 12:08:09 +0000 (12:08 +0000)
commitc8887627fab0a7f8395bb6434b624df028b8ef46
tree3f73ec2fc74c44ada45a2f30001226a0d2165550tree
parentffdc8a3676aad41d0fcef0290241aa9df2e5be1bcommit | diff
Replace more static options accesses (#7531)

This replaces a bunch of static accesses to options (`options::foo()`) by using the `EnvObj::options()` method.
20 files changed:
src/smt/interpolation_solver.cpp diff | blob | history
src/theory/combination_engine.cpp diff | blob | history
src/theory/datatypes/sygus_extension.cpp diff | blob | history
src/theory/model_manager.cpp diff | blob | history
src/theory/quantifiers/candidate_rewrite_filter.cpp diff | blob | history
src/theory/quantifiers/cegqi/ceg_arith_instantiator.cpp diff | blob | history
src/theory/quantifiers/cegqi/ceg_instantiator.cpp diff | blob | history
src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp diff | blob | history
src/theory/quantifiers/conjecture_generator.cpp diff | blob | history
src/theory/quantifiers/ematching/ho_trigger.cpp diff | blob | history
src/theory/quantifiers/equality_query.cpp diff | blob | history
src/theory/quantifiers/instantiate.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_interpol.cpp diff | blob | history
src/theory/quantifiers/sygus/synth_conjecture.cpp diff | blob | history
src/theory/quantifiers/term_registry.cpp diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history
src/theory/theory.cpp diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_model.cpp diff | blob | history
src/theory/theory_model_builder.cpp diff | blob | history