projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e7207d) | patch
Removing the reference to THEORY_BOOL from the equality engine. This theory
authorDejan Jovanovic <dejan.jovanovic@gmail.com>
Wed, 8 Apr 2015 06:48:57 +0000 (23:48 -0700)
committerDejan Jovanovic <dejan.jovanovic@gmail.com>
Wed, 8 Apr 2015 06:48:57 +0000 (23:48 -0700)
commitc871e203705d3e191b8c8028a3f22bca6adb0d16
tree953a41a732f053871cbe19a649abb73d2d3c37a4tree
parent1e7207dc661a1aa7d6509cc21d86fb757938efb1commit | diff
Removing the reference to THEORY_BOOL from the equality engine. This theory
id was used as an internal marker in a set of theories tagging reasons of a
propagated disequalities. Replaced it with THEORY_LAST which is not completely
kosher but is safe in the context being used.
src/theory/uf/equality_engine.cpp diff | blob | history