projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6c8c9a) | patch
Move non-linear files to src/theory/arith/nl (#4548)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 1 Jun 2020 19:31:48 +0000 (14:31 -0500)
committerGitHub <noreply@github.com>
Mon, 1 Jun 2020 19:31:48 +0000 (14:31 -0500)
commit4ac66d3aee2a0571c169e4ce2d6049ea311462ce
tree27b16c3b6973dd9da6c54cd0dea2a89a16badfa6tree
parenta6c8c9a293eca7cd753368d7f23f9978deb2b2d5commit | diff
Move non-linear files to src/theory/arith/nl (#4548)

Also makes CVC4::theory::arith::nl namespace.

This includes some formatting changes.
31 files changed:
src/CMakeLists.txt diff | blob | history
src/theory/arith/nl/nl_constraint.cpp [new file with mode: 0644] blob
src/theory/arith/nl/nl_constraint.h [new file with mode: 0644] blob
src/theory/arith/nl/nl_lemma_utils.cpp [new file with mode: 0644] blob
src/theory/arith/nl/nl_lemma_utils.h [new file with mode: 0644] blob
src/theory/arith/nl/nl_model.cpp [new file with mode: 0644] blob
src/theory/arith/nl/nl_model.h [new file with mode: 0644] blob
src/theory/arith/nl/nl_monomial.cpp [new file with mode: 0644] blob
src/theory/arith/nl/nl_monomial.h [new file with mode: 0644] blob
src/theory/arith/nl/nl_solver.cpp [new file with mode: 0644] blob
src/theory/arith/nl/nl_solver.h [new file with mode: 0644] blob
src/theory/arith/nl/nonlinear_extension.cpp [new file with mode: 0644] blob
src/theory/arith/nl/nonlinear_extension.h [new file with mode: 0644] blob
src/theory/arith/nl/transcendental_solver.cpp [new file with mode: 0644] blob
src/theory/arith/nl/transcendental_solver.h [new file with mode: 0644] blob
src/theory/arith/nl_constraint.cpp [deleted file] blob | history
src/theory/arith/nl_constraint.h [deleted file] blob | history
src/theory/arith/nl_lemma_utils.cpp [deleted file] blob | history
src/theory/arith/nl_lemma_utils.h [deleted file] blob | history
src/theory/arith/nl_model.cpp [deleted file] blob | history
src/theory/arith/nl_model.h [deleted file] blob | history
src/theory/arith/nl_monomial.cpp [deleted file] blob | history
src/theory/arith/nl_monomial.h [deleted file] blob | history
src/theory/arith/nl_solver.cpp [deleted file] blob | history
src/theory/arith/nl_solver.h [deleted file] blob | history
src/theory/arith/nonlinear_extension.cpp [deleted file] blob | history
src/theory/arith/nonlinear_extension.h [deleted file] blob | history
src/theory/arith/theory_arith_private.cpp diff | blob | history
src/theory/arith/theory_arith_private.h diff | blob | history
src/theory/arith/transcendental_solver.cpp [deleted file] blob | history
src/theory/arith/transcendental_solver.h [deleted file] blob | history