projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e6ca71) | patch
Avoid spurious traversal of terms during preregistration (#5860)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 8 Feb 2021 15:17:31 +0000 (09:17 -0600)
committerGitHub <noreply@github.com>
Mon, 8 Feb 2021 15:17:31 +0000 (09:17 -0600)
commit0745ca0490e04c4a5b10a50bd91193e41c45c415
treedabb1ea42753ad2ed74a70d77ce64a03839a29fftree
parent9e6ca7166cc2c3444429ee691f7b0c32281eddf1commit | diff
Avoid spurious traversal of terms during preregistration (#5860)

This simplifies a few places in the code which unecessarily traverse terms during preregistration (which already traverses terms).
src/theory/arith/nl/nonlinear_extension.cpp diff | blob | history
src/theory/ext_theory.cpp diff | blob | history
src/theory/ext_theory.h diff | blob | history
src/theory/strings/extf_solver.cpp diff | blob | history
src/theory/strings/extf_solver.h diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history