projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b1f36e) | patch
Prepare theory of sets for dynamic allocation of equality engine (#4868)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 12 Aug 2020 03:53:58 +0000 (22:53 -0500)
committerGitHub <noreply@github.com>
Wed, 12 Aug 2020 03:53:58 +0000 (22:53 -0500)
commitb5b2858807d48136807aba29bb53a1e91cfacc6e
tree037748e29a31a352b86bcf8103002dc5850f164dtree
parent8b1f36ef24beaf3fa0708c28c53042a5c823c79ccommit | diff
Prepare theory of sets for dynamic allocation of equality engine (#4868)

In forthcoming PRs, Theory objects will be assigned equality engine objects dynamically.

This PR prepares the theory of sets for this update, which involves refactoring of its internal members.
12 files changed:
src/theory/sets/cardinality_extension.cpp diff | blob | history
src/theory/sets/cardinality_extension.h diff | blob | history
src/theory/sets/inference_manager.cpp diff | blob | history
src/theory/sets/inference_manager.h diff | blob | history
src/theory/sets/solver_state.cpp diff | blob | history
src/theory/sets/solver_state.h diff | blob | history
src/theory/sets/theory_sets.cpp diff | blob | history
src/theory/sets/theory_sets.h diff | blob | history
src/theory/sets/theory_sets_private.cpp diff | blob | history
src/theory/sets/theory_sets_private.h diff | blob | history
src/theory/sets/theory_sets_rels.cpp diff | blob | history
src/theory/sets/theory_sets_rels.h diff | blob | history