projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d72b82b) | patch
Start using Options via Env in arithmetic (#7032)
authorGereon Kremer <nafur42@gmail.com>
Thu, 19 Aug 2021 17:29:17 +0000 (10:29 -0700)
committerGitHub <noreply@github.com>
Thu, 19 Aug 2021 17:29:17 +0000 (17:29 +0000)
commit3c200e9a6475d7b0e802cc56afe0f86eda1559c4
tree781566b82c3f9185f24f7863656bad8c1e8507c5tree
parentd72b82ba383cb1e0cccab33218fdf5af280ec7cbcommit | diff
Start using Options via Env in arithmetic (#7032)

This PR refactors part of the arithmetic theory to use the options via the Env object.
15 files changed:
src/theory/arith/nl/ext/ext_state.cpp diff | blob | history
src/theory/arith/nl/ext/ext_state.h diff | blob | history
src/theory/arith/nl/ext/monomial_bounds_check.cpp diff | blob | history
src/theory/arith/nl/ext/split_zero_check.cpp diff | blob | history
src/theory/arith/nl/nonlinear_extension.cpp diff | blob | history
src/theory/arith/nl/nonlinear_extension.h diff | blob | history
src/theory/arith/nl/transcendental/transcendental_solver.cpp diff | blob | history
src/theory/arith/nl/transcendental/transcendental_solver.h diff | blob | history
src/theory/arith/nl/transcendental/transcendental_state.cpp diff | blob | history
src/theory/arith/nl/transcendental/transcendental_state.h diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith_private.cpp diff | blob | history
src/theory/arith/theory_arith_private.h diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_state.h diff | blob | history