projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad8729d) | patch
Remove mergePredicates from EqualityEngine interface (#4305)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 14 Apr 2020 16:42:00 +0000 (11:42 -0500)
committerGitHub <noreply@github.com>
Tue, 14 Apr 2020 16:42:00 +0000 (11:42 -0500)
commitcf8d103b11261d3b4425dab74008dffd903b8121
treef67178350d92861520913ae7556bc8fc38c8b392tree
parentad8729d3a0060ed635b8a82e9ed323966cc2f49dcommit | diff
Remove mergePredicates from EqualityEngine interface (#4305)

This function was equivalent to asserting an equality. Removing it for the sake of simplicity.
src/theory/theory_model.cpp diff | blob | history
src/theory/uf/equality_engine.cpp diff | blob | history
src/theory/uf/equality_engine.h diff | blob | history