diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-10-09 00:22:33 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-10-09 00:22:33 +0000 |
| commit | 4a266eaff4301b26383a1b667265055c9d4ce797 (patch) | |
| tree | 18916e061e74423afc3b0ebe3f2ca3c2c2434280 /README | |
| parent | e256e63588a867b9ea82e03cfc684c2ea2ca1738 (diff) | |
adding mergePredicates method to the equality engine to be able to
assert equalities betweeen predicates
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions