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

Marc Dzaebel (JIRA) issues at jboss.org
Mon Dec 16 11:58:32 EST 2013


    [ https://issues.jboss.org/browse/DROOLS-24?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12931895#comment-12931895 ] 

Marc Dzaebel commented on DROOLS-24:
------------------------------------

Sorry, my mistake. May be it's a good idea to add the description of Davide to the manual.
                
> 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


More information about the jboss-jira mailing list