diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-14 06:44:49 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-14 06:44:49 +0000 |
| commit | 4dad25f2c1377603ff1f035887acce3b30d40d56 (patch) | |
| tree | 14fa02b4205a2de1971c5600aa6280e6383be8c4 /src/theory/uf/equality_engine.h | |
| parent | a8f1f0e2cef69acd278f859fe32a2df7852256e0 (diff) | |
some changes to the uf engine
* dramatically less terms to manage by doing reflexivity semantically
* fixes the problem clark had with not detecting inconsistencies with shared terms
i'm not sure what's the performance impact, but this is so much better and we'll deal with performance later
Diffstat (limited to 'src/theory/uf/equality_engine.h')
0 files changed, 0 insertions, 0 deletions