projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f8927b) | patch
Set up fine grained equality notifications (#6734)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 22 Jun 2021 02:24:40 +0000 (21:24 -0500)
committerGitHub <noreply@github.com>
Tue, 22 Jun 2021 02:24:40 +0000 (02:24 +0000)
commitc7116b06892b5ff21fb04a3996880bfe48e44053
tree4ad855ab5d4514bb66eb38441ab0f388308cdb48tree
parent4f8927b6e56d55d8b69d525e57f407ff69bc1acdcommit | diff
Set up fine grained equality notifications (#6734)

This adds fields to equality engine setup information which will be used to hook up theories to the central equality engine.

This PR does not impact any behavior.

This is in preparation for the central equality engine.
src/theory/arrays/theory_arrays.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/ee_setup_info.h diff | blob | history
src/theory/sep/theory_sep.cpp diff | blob | history
src/theory/sets/theory_sets.cpp diff | blob | history
src/theory/strings/term_registry.cpp diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/uf/theory_uf.cpp diff | blob | history