projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 739f947) | patch
Minor simplification to equality engine notifications (#6726)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 22 Jun 2021 17:32:22 +0000 (12:32 -0500)
committerGitHub <noreply@github.com>
Tue, 22 Jun 2021 17:32:22 +0000 (17:32 +0000)
commit525fe1f4f33aca05f5e92b0cc0f3e0c7e6effa8b
tree194e88e7e50c936ee6a9a2cf222ae356aaa15690tree
parent739f947fb53bc44fbae59952b3d9878b65ed0576commit | diff
Minor simplification to equality engine notifications (#6726)

This removes the d_performNotify flag from equality engine which was supposedly used to guard a very old dependency concerning notifications during initialization. We are now robust to this and hence the flag can be removed.
src/theory/uf/equality_engine.cpp diff | blob | history
src/theory/uf/equality_engine.h diff | blob | history