diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-06-13 20:37:43 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-06-13 20:37:43 +0000 |
| commit | d0b33af0cf910ca7adb0357dad13e7e88baedebc (patch) | |
| tree | fc9c1fae8b7c4e9a26656e81314800852996e2f6 /src/theory/valuation.h | |
| parent | 6acb8e96739df11859d3bca8a9e67bdaff5600c6 (diff) | |
- Added a loop to internally assert constraints that are marked as true.
- Changes how CongruenceManager reports conflicts.
- ConstraintDatabase can now detect and raise conflicts when doing unate propagation.
Diffstat (limited to 'src/theory/valuation.h')
0 files changed, 0 insertions, 0 deletions