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 /INSTALL | |
parent | e256e63588a867b9ea82e03cfc684c2ea2ca1738 (diff) |
adding mergePredicates method to the equality engine to be able to
assert equalities betweeen predicates
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions