projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8bb85a) | patch
Minor simplification to Theory::theoryOf (#5719)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 23 Dec 2020 03:23:15 +0000 (21:23 -0600)
committerGitHub <noreply@github.com>
Wed, 23 Dec 2020 03:23:15 +0000 (21:23 -0600)
commit718f9f3263de8f549917211a0a700ba6c8bd0c4d
tree623c62429a4aa1a4541a362872d8c1660546df4ctree
parentb8bb85a0d0ca254081f216481974deed9d449aa5commit | diff
Minor simplification to Theory::theoryOf (#5719)

This removes the special case of constants based on the observation that the theory that owns the type of a constant and the theory that owns its kind always should be the same.

This should lead to a small (maybe 1%) performance improvement, as this method is run ~191M times in our coverage build.
src/theory/theory.cpp diff | blob | history