diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-02-28 20:42:55 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-02-28 20:42:55 +0000 |
| commit | 9450e5841a08db3a9529c25e03fc5cea16a8f1f5 (patch) | |
| tree | 82b4ff8d7f99683ed0cb23ca5c5eb271da50e9ec /src/theory/arith/linear_equality.h | |
| parent | 6645d5d6f4a4bac8281c6156773364bb493a4a7e (diff) | |
Improves the arithmetic difference manager to delay any work until a shared term is added.
Diffstat (limited to 'src/theory/arith/linear_equality.h')
0 files changed, 0 insertions, 0 deletions