projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43ae348) | patch
Splitting a few utility classes from EqualityEngine to their own file (#4862)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 9 Aug 2020 21:50:09 +0000 (16:50 -0500)
committerGitHub <noreply@github.com>
Sun, 9 Aug 2020 21:50:09 +0000 (14:50 -0700)
commit28f5438df1e5ba87aab60552658aa09b79c35ba2
treea6220b7a3efdaaac55f161b2133a8235e7f40c97tree
parent43ae3483320d7964166407f84d04339ece944bbfcommit | diff
Splitting a few utility classes from EqualityEngine to their own file (#4862)

Includes iterators and notification callbacks. These classes will be highly relevant for planned extensions to the core theory engine infrastructure.
src/CMakeLists.txt diff | blob | history
src/theory/uf/equality_engine.cpp diff | blob | history
src/theory/uf/equality_engine.h diff | blob | history
src/theory/uf/equality_engine_iterator.cpp [new file with mode: 0644] blob
src/theory/uf/equality_engine_iterator.h [new file with mode: 0644] blob
src/theory/uf/equality_engine_notify.h [new file with mode: 0644] blob