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

Sat Feb 2 04:10:04 EST 2008

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

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