projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9684cf3) | patch
Switched a number of EqClassIterator operations to const as well as the internal...
authorTim King <taking@cs.nyu.edu>
Tue, 14 Aug 2012 17:50:57 +0000 (17:50 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 14 Aug 2012 17:50:57 +0000 (17:50 +0000)
commitb43f87e90aec85a18b5b8c34f6111a9aacaa42ba
tree14b2ff802988a453ea9b88a0a4c6cb462ad7eff1tree
parent9684cf346efe1ae33fd0b560b1cae5d11c5fc4b4commit | diff
Switched a number of EqClassIterator operations to const as well as the internal EqualityEngine pointer.
src/theory/uf/equality_engine.h diff | blob | history