[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