| commit | 254cf59b4dc26ce542be7d1cf75fba432dcdd8e9 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 26 Feb 2008 13:04:44 +0000 (26 14:04 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 26 Feb 2008 13:06:08 +0000 (26 14:06 +0100) | ||
| tree | ef9beabc26c27a608ab925ee27de57f5691da58d | treesnapshot (tar.gz zip) |
| parent | b5effe3b82a7f3efff351f4974d6bc903b5ffd61 | commitdiff |
evalue.c: *_partitions: simplify constraints before testing emptiness
Commits b7c20b9cf2c704d7aac558957ae609536da0adb6 (simplify constraints
in eadd_partitions) and 6c12ee1b6e5adcb9bd37243f1d046a9c5972eaec (simplify
constraints during multiplications as well) introduced calls
to DomainConstraintSimplify, after the domain was tested for emptiness.
As a result, some parts in the resulting partition may be empty,
which is something we want to avoid.
Commits b7c20b9cf2c704d7aac558957ae609536da0adb6 (simplify constraints
in eadd_partitions) and 6c12ee1b6e5adcb9bd37243f1d046a9c5972eaec (simplify
constraints during multiplications as well) introduced calls
to DomainConstraintSimplify, after the domain was tested for emptiness.
As a result, some parts in the resulting partition may be empty,
which is something we want to avoid.
| evalue.c | diffblobblamehistory |