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 /src/theory/theory.h | |
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 'src/theory/theory.h')
0 files changed, 0 insertions, 0 deletions