[jboss-jira] [JBoss JIRA] Closed: (JBRULES-1449) Check subsumption between restrictions

Toni Rikkola (JIRA) jira-events at lists.jboss.org
Fri Feb 8 03:26:03 EST 2008


     [ http://jira.jboss.com/jira/browse/JBRULES-1449?page=all ]

Toni Rikkola closed JBRULES-1449.
---------------------------------

    Resolution: Done

> Check subsumption between restrictions
> --------------------------------------
>
>                 Key: JBRULES-1449
>                 URL: http://jira.jboss.com/jira/browse/JBRULES-1449
>             Project: JBoss Drools
>          Issue Type: Task
>      Security Level: Public(Everyone can see) 
>            Reporter: Toni Rikkola
>          Time Spent: 3 hours
>  Remaining Estimate: 0 minutes
>
> Pattern1 ( x > 10 )
> Pattern2 ( x > 100 )
> Pattern1 also covers Pattern2. This means that subsumption exists. 
> This data is used when reporting subsumtion between patterns and rules. It is also needed when reporting overlaps.

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

        



More information about the jboss-jira mailing list