[jboss-jira] [JBoss JIRA] (DROOLS-4632) Optimize single pattern forall statement

[Mario Fusco (Jira)]

Mario Fusco created DROOLS-4632:
-----------------------------------

             Summary: Optimize single pattern forall statement
                 Key: DROOLS-4632
                 URL: https://issues.jboss.org/browse/DROOLS-4632
             Project: Drools
          Issue Type: Enhancement
            Reporter: Mario Fusco
            Assignee: Mario Fusco


At the moment a single pattern forall statement like

{code}
forall( Type( constraints ) )
{code}

it is automatically rewritten as

{code}
forall( $t : Type() Type( this == $t, constraints ) )
{code}

and then implemented with 2 not nodes and join. It would be much faster to rewrite it as

{code}
not( Type( !constraints ) )
{code}

and then evaluate it with one single not node.



--
This message was sent by Atlassian Jira
(v7.13.8#713008)