[jboss-jira] [JBoss JIRA] (DROOLS-254) "Exists OR" rules are compiled inconsistently

[Davide Sottara (JIRA)]

Davide Sottara created DROOLS-254:
-------------------------------------

             Summary: "Exists OR" rules are compiled inconsistently
                 Key: DROOLS-254
                 URL: https://issues.jboss.org/browse/DROOLS-254
             Project: Drools
          Issue Type: Bug
      Security Level: Public (Everyone can see)
    Affects Versions:  6.0.0.CR3, 5.5.0.Final
            Reporter: Davide Sottara
            Assignee: Mark Proctor
            Priority: Critical
             Fix For: 5.5.1.Final,  6.0.0.CR4


Exists ( A or B ) is transformed into ( Exists A ) or ( Exists B )
In case both A and B are asserted, they result in two activations, 
whereas one would expect only one. 
Moreover, the equivalent not ( (not A) and (not B) ) results in only
one activation.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira