diff options
author | Tim King <taking@cs.nyu.edu> | 2011-02-27 18:29:38 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2011-02-27 18:29:38 +0000 |
commit | 57fe149cf7915d721912e1d1866c31346f66e2f8 (patch) | |
tree | d6192a8c3d3ed8eab9d275523a0d254a85279a8d /.settings | |
parent | 8d52dbabb099cb66cfffe0d63397764d8a53b21c (diff) |
- Makes VarCoeffPair a class instead of a typedef of pair<ArithVar, Rational>. This addresses a point Dejan brought up in the code review.
Diffstat (limited to '.settings')
0 files changed, 0 insertions, 0 deletions