git.libre-soc.org Git - cvc5.git/commit

author	Gereon Kremer <nafur42@gmail.com>
	Fri, 20 Aug 2021 01:30:31 +0000 (18:30 -0700)
committer	GitHub <noreply@github.com>
	Fri, 20 Aug 2021 01:30:31 +0000 (01:30 +0000)
commit	48904b48eff10b6db84053584511d779fe2bc5fe
tree	09dab63873d892c213aa534260f3fe77f49da8e3	tree
parent	2dfdd5adaf2e10067aaf708e055ed5fd6047aae4	commit \| diff

Use Env class in nonlinear extension (#7039)

This PR refactors the nonlinear extension(s) to access options only via the environment class.

15 files changed:

src/theory/arith/branch_and_bound.cpp		diff \| blob \| history
src/theory/arith/inference_manager.cpp		diff \| blob \| history
src/theory/arith/nl/cad/cdcac.cpp		diff \| blob \| history
src/theory/arith/nl/cad/cdcac.h		diff \| blob \| history
src/theory/arith/nl/cad_solver.cpp		diff \| blob \| history
src/theory/arith/nl/cad_solver.h		diff \| blob \| history
src/theory/arith/nl/iand_solver.cpp		diff \| blob \| history
src/theory/arith/nl/iand_solver.h		diff \| blob \| history
src/theory/arith/nl/nl_model.cpp		diff \| blob \| history
src/theory/arith/nl/nl_model.h		diff \| blob \| history
src/theory/arith/nl/nonlinear_extension.cpp		diff \| blob \| history
src/theory/arith/nl/strategy.cpp		diff \| blob \| history
src/theory/arith/nl/strategy.h		diff \| blob \| history
src/theory/arith/theory_arith.cpp		diff \| blob \| history
test/unit/theory/theory_arith_cad_white.cpp		diff \| blob \| history