[jboss-jira] [JBoss JIRA] (DROOLS-24) forall( p1 p2 p3...) --> not forall

[Mario Fusco (JIRA)]

     [ https://issues.jboss.org/browse/DROOLS-24?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Mario Fusco resolved DROOLS-24.
-------------------------------

    Resolution: Rejected


Davide is right, the documentation is correct.
                
> forall( p1 p2 p3...) --> not forall
> -----------------------------------
>
>                 Key: DROOLS-24
>                 URL: https://issues.jboss.org/browse/DROOLS-24
>             Project: Drools
>          Issue Type: Task
>      Security Level: Public(Everyone can see) 
>    Affects Versions: 5.5.0.Final
>         Environment: all
>            Reporter: Marc Dzaebel
>            Assignee: Mario Fusco
>            Priority: Trivial
>              Labels: documentation
>
> Expert guide: 
> "As a side note, forall( p1 p2 p3...) is equivalent to writing:
>  not(p1 and not(and p2 p3...))"
> --> insert not
> "As a side note, not forall ..."

--
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