Description
When inferring pulled up predicates, multiple mappings are generated to
make sure equivalent expressions can be substitute. E.g., for an expression
'a + b + c' and the following equivalences:
a : {a, b} b : {a, b} c : {c, e}
should generate:
a + a + c a + a + e a + b + c a + b + e b + a + c b + a + e b + b + c b + b + e
The mapping generation is a typical permutation generation process. However,
the current code is not handling the permutation well, thus causing duplicated
mappings.
Attachments
Issue Links
- links to