projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 283822d) | patch
Changing the equality engines's euivalence class iterator. Andy please check if this...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 19 Sep 2012 18:56:41 +0000 (18:56 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 19 Sep 2012 18:56:41 +0000 (18:56 +0000)
commit95901566948b3da00e8dea6a9c022fe027a2ea92
tree0a6357cefe366490efdee2c959f10a93332619d0tree
parent283822d8dc26004cd5b15a5b8e198d4f3068ebd0commit | diff
Changing the equality engines's euivalence class iterator. Andy please check if this does what you want it to do.
src/theory/uf/equality_engine.cpp diff | blob | history
src/theory/uf/equality_engine.h diff | blob | history