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
tree037748e29a31a352b86bcf8103002dc5850f164d
parent8b1f36ef24beaf3fa0708c28c53042a5c823c79c
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
src/theory/sets/cardinality_extension.h
src/theory/sets/inference_manager.cpp
src/theory/sets/inference_manager.h
src/theory/sets/solver_state.cpp
src/theory/sets/solver_state.h
src/theory/sets/theory_sets.cpp
src/theory/sets/theory_sets.h
src/theory/sets/theory_sets_private.cpp
src/theory/sets/theory_sets_private.h
src/theory/sets/theory_sets_rels.cpp
src/theory/sets/theory_sets_rels.h