[jboss-jira] [JBoss JIRA] (DROOLS-1872) Gap analisys doesn't work with 3 or more ranges

Gap analisys doesn't work with 3 or more ranges ----------------------------------------------- Key: DROOLS-1872 URL: https://issues.jboss.org/browse/DROOLS-1872 Project: Drools Issue Type: Sub-task Reporter: Mario Fusco Assignee: Mario Fusco Priority: Major Labels: verifier Fix For: 7.0.0.CR2 Attachments: gap1.png, gap2.png When there are 3 (or more) ranges, as in the attached tables, gap analysis produces false negatives. This is because what it currently does is inverting a range and check if it can find another range that entirely subsumes the inverted range. The error is in the fact that the inverted range shouldn't be checked against each of the remaining ranges one by one, but against their union.