diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-11 22:53:58 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-11 22:53:58 -0500 |
| commit | b5b2858807d48136807aba29bb53a1e91cfacc6e (patch) | |
| tree | 037748e29a31a352b86bcf8103002dc5850f164d /src/smt/smt_mode.h | |
| parent | 8b1f36ef24beaf3fa0708c28c53042a5c823c79c (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.
Diffstat (limited to 'src/smt/smt_mode.h')
0 files changed, 0 insertions, 0 deletions