summaryrefslogtreecommitdiff
path: root/src/theory/arith/row_vector.h
AgeCommit message (Expand)Author
2011-03-05- Adds PermissiveBackArithVarSet. This is very similar to ArithVarSet. The d...Tim King
2011-03-03Merged the tableau-copy branch into trunk. This adds a copy constructor and o...Tim King
2011-02-27- Makes VarCoeffPair a class instead of a typedef of pair<ArithVar, Rational>...Tim King
2011-02-27- Adds a buffer to the ReducedRowVector addRowTimesConstant operation to redu...Tim King
2011-02-26- Merged RowVector and ReducedRowVector.Tim King
2011-02-26Commit to fix bug 241 (improper "using namespace std" in a header). This cau...Morgan Deters
2011-02-22- Adds column based iterators.Tim King
2011-02-21- Adds the statistic d_avgNumRowsNotContainingOnPivot.Tim King
2011-02-18Changes:Tim King
2011-02-17This commit merges the branch branches/arithmetic/quick-row-has into trunk. q...Tim King
2010-11-03Adds size() to RowVector.Tim King
2010-10-30Adds a hueristic from Alberto's thesis. For a fixed window the row count is u...Tim King
2010-10-29Fixes RowVector::has().Tim King
2010-10-28The Row implementation has no been replaced by RowVector and ReducedRowVector...Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback