[jboss-jira] [JBoss JIRA] Assigned: (JBRULES-2344) Pattern analysis can never be satisfied, however the rule is logically correct

[Toni Rikkola (JIRA)]

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

Toni Rikkola reassigned JBRULES-2344:
-------------------------------------

    Assignee: Toni Rikkola  (was: Mark Proctor)


> Pattern analysis can never be satisfied, however the rule is logically correct
> ------------------------------------------------------------------------------
>
>                 Key: JBRULES-2344
>                 URL: https://jira.jboss.org/jira/browse/JBRULES-2344
>             Project: Drools
>          Issue Type: Bug
>      Security Level: Public(Everyone can see) 
>          Components: drools-verifier
>    Affects Versions: 5.0.1.FINAL
>         Environment: MacBook Pro 17" Core 2 Duo
> Ubuntu 9.10 64bit (native, not virtualized) - Apache Tomcat 6.0.18 - Java 6
>            Reporter: Claudio Gargiulo
>            Assignee: Toni Rikkola
>
> When I launch the analysis of a rule I get the following message:
> Pattern, name: TrafficoEntrata in Rule 'backToNormal' can never be satisfied.
> Pattern, name: StatoRete in Rule 'backToNormal' can never be satisfied.
> The Rule "backToNormal" is the following:
> rule "backToNormal"
> 	dialect "mvel"
> 	when
> 		exists Attacco( )
> 		attack : Attacco( )
> 		StatoRete( numero_utenti > "25" && < "80" )
> 		TrafficoEntrata( banda_occupata > "20"  && < "80" )
> 	then
> 		retract( attack );
> end
> The integer values are taken from an enumeration. Altering the conditions in this way:
> 		numero_utenti >"25", numero_utenti < "80"
> makes no difference at analysis time.

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: https://jira.jboss.org/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira