projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 75502e8) | patch
Minor refactor for theory of sets (#3924)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 6 Mar 2020 23:01:45 +0000 (17:01 -0600)
committerGitHub <noreply@github.com>
Fri, 6 Mar 2020 23:01:45 +0000 (17:01 -0600)
commit76c1710e99f2e9ca2109762394eaefcbc4a5557c
tree4b45b1070c509445fd735c44b1cac527e902fc02tree
parent75502e8c943d747df6c9d10a237238e8443d6c38commit | diff
Minor refactor for theory of sets (#3924)

Flattens a block of code and refactors the main check loop, will make it easier to incorporate new extensions.

It also avoids a needless call to check() for Relations when there are no relations constraints.
src/theory/sets/theory_sets_private.cpp diff | blob | history