projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2eba85) | patch
Changes:
authorTim King <taking@cs.nyu.edu>
Fri, 18 Feb 2011 23:28:19 +0000 (23:28 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 18 Feb 2011 23:28:19 +0000 (23:28 +0000)
commit005066130a774c9e4aa838ca500d5fd3137909be
tree00f30cf01943464435f9ae50ddfec53822617bd8tree
parentb2eba85abe17f3cb661b537d4ac6c55c2e222c65commit | diff
Changes:
- ArithVar is no longer an attribute
- RowVector's destructor reduces the row count of its variables upon.
- Tableau's destructor now free its rows instead of leaking memory.
- Added ability to convert ReducedRowVectors into equivalent Nodes.
- getValue() should work again.
src/theory/arith/arith_utilities.h diff | blob | history
src/theory/arith/arithvar_set.h diff | blob | history
src/theory/arith/row_vector.cpp diff | blob | history
src/theory/arith/row_vector.h diff | blob | history
src/theory/arith/tableau.cpp diff | blob | history
src/theory/arith/tableau.h diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history