projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cdb338b) | patch
Move sets member propagation to SolverState (#5045)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 15 Sep 2020 16:07:21 +0000 (11:07 -0500)
committerGitHub <noreply@github.com>
Tue, 15 Sep 2020 16:07:21 +0000 (11:07 -0500)
commitb02977f0076ade00b631e8ee79a31b96bf7a24c4
treea6043f1338e17df23ee61a73aac663a7cd07e38btree
parentcdb338bb5c0fc033f6788549985c5a60ab1323b3commit | diff
Move sets member propagation to SolverState (#5045)

This eliminates the parent relationship from solver state to theory sets.
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_private.cpp diff | blob | history
src/theory/sets/theory_sets_private.h diff | blob | history