diff options
author | Tim King <taking@cs.nyu.edu> | 2012-06-27 21:06:29 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-06-27 21:06:29 +0000 |
commit | cde31cf615ccd7f8e090f1713022e5aeae31ccb5 (patch) | |
tree | 9d63922104fd6d182a59f0cfeeae8e6ab096e895 /src/theory/arith/partial_model.h | |
parent | 8eea9f5ecc02363e3a8705abe45a6be424d70c4d (diff) |
This adds TheoryArith::safeToReset(). This fixes bug 363.
Diffstat (limited to 'src/theory/arith/partial_model.h')
0 files changed, 0 insertions, 0 deletions