projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d52dba) | patch
- Makes VarCoeffPair a class instead of a typedef of pair<ArithVar, Rational>. This...
authorTim King <taking@cs.nyu.edu>
Sun, 27 Feb 2011 18:29:38 +0000 (18:29 +0000)
committerTim King <taking@cs.nyu.edu>
Sun, 27 Feb 2011 18:29:38 +0000 (18:29 +0000)
commit57fe149cf7915d721912e1d1866c31346f66e2f8
treed6192a8c3d3ed8eab9d275523a0d254a85279a8dtree
parent8d52dbabb099cb66cfffe0d63397764d8a53b21ccommit | diff
- Makes VarCoeffPair a class instead of a typedef of pair<ArithVar, Rational>.  This addresses a point Dejan brought up in 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