projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3548c7e) | patch
- Merged RowVector and ReducedRowVector.
authorTim King <taking@cs.nyu.edu>
Sat, 26 Feb 2011 23:32:34 +0000 (23:32 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 26 Feb 2011 23:32:34 +0000 (23:32 +0000)
commit181333d85ccf9daea71285299493c4b0b0008f49
treec3bc0fd1f3d1610a1778749ee721e2b8ae58c63etree
parent3548c7e5f6afed4e07bf9a70f0403952c9262519commit | diff
- Merged RowVector and ReducedRowVector.
- Renamed NonZeroIterator to const_iterator.
- Both of these changes are in response to the code review.
src/theory/arith/row_vector.cpp diff | blob | history
src/theory/arith/row_vector.h diff | blob | history
src/theory/arith/simplex.cpp diff | blob | history