[ https://jira.jboss.org/jira/browse/JBRULES-2061?page=com.atlassian.jira.p... ] Wolfgang Laun updated JBRULES-2061: ----------------------------------- Attachment: path.zip Run Main. - There is another .drl File with a similar rule "relax", but this has the same problem. -- 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

[ https://jira.jboss.org/jira/browse/JBRULES-2061?page=com.atlassian.jira.p... ] Edson Tirelli commented on JBRULES-2061: ---------------------------------------- Just an additional info, I added a sysout to the rule: rule relax when $n : Node( $ta : tentDist < Graph.INFINITY ) not Node( tentDist < $ta ) $e : Edge( nodeA == $n, $nb : nodeB, $cost : cost ) $b : Node( this == $nb, $tb : tentDist ) then System.out.println( "Firing for: "+$n ); if( $ta + $cost < $tb ){ modify( $b ){ setTentDist( $ta + $cost ), setParent( $n ); } System.out.println( "new td = " + ($ta + $cost) + " from " + $n.getId() + " to " + $b.getId() ); } end It shows the rule is being executed multiple times for Indianapolis, that has $ta == 0. The "not" on your second pattern prevents the rule from executing for other nodes. If I misunderstood the scenario, please help me identify the problem: ======================== from Atlanta to Boston: 5 from Atlanta to Erie: 6 from Boston to Columbus: 6 from Boston to Fresno: 8 from Columbus to Detroit: 4 from Columbus to Gary: 10 from Detroit to Houston: 11 from Erie to Fresno: 4 from Erie to Boston: 14 from Erie to Indianapolis: 4 from Fresno to Gary: 7 from Fresno to Columbus: 14 from Fresno to Jackson: 3 from Gary to Houston: 8 from Gary to Detroit: 20 from Gary to Kingston: 8 from Houston to London: 8 from Indianapolis to Jackson: 8 from Indianapolis to Fresno: 13 from Indianapolis to Memphis: 5 from Jackson to Kingston: 8 from Kingston to London: 8 from Kingston to Houston: 12 from Kingston to Omaha: 4 from London to Phoenix: 5 from Memphis to Newark: 7 from Memphis to Jackson: 16 from Newark to Omaha: 5 from Newark to Kingston: 17 from Omaha to Phoenix: 6 from Omaha to London: 17 Node Atlanta Node Boston Node Columbus Node Detroit Node Erie Node Fresno Node Gary Node Houston Node Indianapolis Node Jackson Node Kingston Node London Node Memphis Node Newark Node Omaha Node Phoenix initialized Phoenix initialized Omaha initialized Newark initialized Memphis initialized London initialized Kingston initialized Jackson start is Indianapolis initialized Houston initialized Gary initialized Fresno initialized Erie initialized Detroit initialized Columbus initialized Boston initialized Atlanta Firing for: Indianapolis: initialized=true scanned=false tentativ distance=0, parent=Indianapolis new td = 13 from Indianapolis to Fresno Firing for: Indianapolis: initialized=true scanned=false tentativ distance=0, parent=Indianapolis Firing for: Indianapolis: initialized=true scanned=false tentativ distance=0, parent=Indianapolis new td = 8 from Indianapolis to Jackson Firing for: Indianapolis: initialized=true scanned=false tentativ distance=0, parent=Indianapolis Firing for: Indianapolis: initialized=true scanned=false tentativ distance=0, parent=Indianapolis new td = 5 from Indianapolis to Memphis Firing for: Indianapolis: initialized=true scanned=false tentativ distance=0, parent=Indianapolis shortest path from Indianapolis to Columbus costs 2147483647 Memphis: initialized=true scanned=false tentativ distance=5, parent=Indianapolis Jackson: initialized=true scanned=false tentativ distance=8, parent=Indianapolis Fresno: initialized=true scanned=false tentativ distance=13, parent=Indianapolis Atlanta: initialized=true scanned=false tentativ distance=2147483647, parent=null Boston: initialized=true scanned=false tentativ distance=2147483647, parent=null Columbus: initialized=true scanned=false tentativ distance=2147483647, parent=null Detroit: initialized=true scanned=false tentativ distance=2147483647, parent=null Erie: initialized=true scanned=false tentativ distance=2147483647, parent=null Gary: initialized=true scanned=false tentativ distance=2147483647, parent=null Houston: initialized=true scanned=false tentativ distance=2147483647, parent=null Indianapolis: initialized=true scanned=false tentativ distance=0, parent=Indianapolis Kingston: initialized=true scanned=false tentativ distance=2147483647, parent=null London: initialized=true scanned=false tentativ distance=2147483647, parent=null Newark: initialized=true scanned=false tentativ distance=2147483647, parent=null Omaha: initialized=true scanned=false tentativ distance=2147483647, parent=null Phoenix: initialized=true scanned=false tentativ distance=2147483647, parent=null -- 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

[ https://jira.jboss.org/jira/browse/JBRULES-2061?page=com.atlassian.jira.p... ] Wolfgang Laun closed JBRULES-2061. ---------------------------------- Resolution: Rejected Basically a blunder of the reporter in the original version of the rule relax. -- 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