6:36 a.m.
Rule fires unexpectedly - not CE fails
--------------------------------------
Key: JBRULES-2873
URL: https://issues.jboss.org/browse/JBRULES-2873
Project: Drools
Issue Type: Bug
Security Level: Public (Everyone can see)
Components: drools-core
Affects Versions: 5.1.1.FINAL
Reporter: Wolfgang Laun
Assignee: Mark Proctor
Priority: Critical
The rule shown below fires, and then the code on the RHS prints "But cell ...
matches" which is only possible when there is a Cell according to the constraints in
the "not" CE. - The full Sudoku code is available.
rule "column elimination"
when
not Setting()
$i: Integer()
# occurs in a Cell
$c: Cell( free contains $i, $cs: cellSqr, $cc: cellCol )
# but not in another cell of the same square and a different column
not Cell( this != $c, free contains $i, cellSqr == $cs, cellCol != $cc )
## not ( $oc: Cell( this != $c )
## and
## eval( $oc.getFree().contains( $i ) &&
## $oc.getCellSqr().equals( $cs ) &&
## ! $oc.getCellCol().equals( $cc ) ) )
# but there is a cell in the same column and another square containing this value
$cx: Cell( freeCount > 1, free contains $i, cellCol == $cc, cellSqr != $cs )
then
# remove the value from that other cell
System.out.println( "column elimination due to " + $c.posAsString() +
": remove " + $i + " from " +
$cx.posAsString() );
for( int iRow = 0; iRow < 9; iRow++ ){
for( int iCol = 0; iCol < 9; iCol++ ){
Cell cell = Sudoku.sudoku.cells[iRow][iCol];
if( ! cell.equals( $c ) &&
cell.getCellSqr().equals( $cs ) &&
! cell.getCellCol().equals( $cc ) &&
cell.getFree().contains( $i ) ){
System.out.println( "But cell " + cell.toString() + "
matches!" );
}
}
}
for( Cell c: $cs.getCells() ){
System.out.print( c.posAsString() + ": " + c.getFree() +
" cc="+c.getCellCol() + " cs="+c.getCellSqr() + "; "
);
}
System.out.println();
modify( $cx ){ blockValue( $i ) }
end
--
This message is automatically generated by JIRA.
-
For more information on JIRA, see: http://www.atlassian.com/software/jira
3:15 a.m.
New subject: [JBoss JIRA] Updated: (JBRULES-2873) Rule fires unexpectedly - not CE fails
[
https://issues.jboss.org/browse/JBRULES-2873?page=com.atlassian.jira.plug...
]
Wolfgang Laun updated JBRULES-2873:
-----------------------------------
Attachment: sudokubug.tgz
The bug can be reproduced with several Sudoku samples, e.g., "Medium". You can
[Step] towards the solution, and watch out for "But cell...matches" on standard
output. Many prints are enabled, and it's easy to see from the grid dump that the rule
should not fire in some cases. (Due to this, the data in the model becomes inconsistent.)
Also, execution is not deterministic. Running "Medium" repeatedly with [Solve]
results in different (invalid) final states, with different sets of cells remaining
empty.
Rule fires unexpectedly - not CE fails
--------------------------------------
Key: JBRULES-2873
URL: https://issues.jboss.org/browse/JBRULES-2873
Project: Drools
Issue Type: Bug
Security Level: Public(Everyone can see)
Components: drools-core
Affects Versions: 5.1.1.FINAL
Reporter: Wolfgang Laun
Assignee: Mark Proctor
Priority: Critical
Attachments: sudokubug.tgz
The rule shown below fires, and then the code on the RHS prints "But cell ...
matches" which is only possible when there is a Cell according to the constraints in
the "not" CE. - The full Sudoku code is available.
rule "column elimination"
when
not Setting()
$i: Integer()
# occurs in a Cell
$c: Cell( free contains $i, $cs: cellSqr, $cc: cellCol )
# but not in another cell of the same square and a different column
not Cell( this != $c, free contains $i, cellSqr == $cs, cellCol != $cc )
## not ( $oc: Cell( this != $c )
## and
## eval( $oc.getFree().contains( $i ) &&
## $oc.getCellSqr().equals( $cs ) &&
## ! $oc.getCellCol().equals( $cc ) ) )
# but there is a cell in the same column and another square containing this value
$cx: Cell( freeCount > 1, free contains $i, cellCol == $cc, cellSqr != $cs )
then
# remove the value from that other cell
System.out.println( "column elimination due to " + $c.posAsString() +
": remove " + $i + " from " +
$cx.posAsString() );
for( int iRow = 0; iRow < 9; iRow++ ){
for( int iCol = 0; iCol < 9; iCol++ ){
Cell cell = Sudoku.sudoku.cells[iRow][iCol];
if( ! cell.equals( $c ) &&
cell.getCellSqr().equals( $cs ) &&
! cell.getCellCol().equals( $cc ) &&
cell.getFree().contains( $i ) ){
System.out.println( "But cell " + cell.toString() + "
matches!" );
}
}
}
for( Cell c: $cs.getCells() ){
System.out.print( c.posAsString() + ": " + c.getFree() +
" cc="+c.getCellCol() + " cs="+c.getCellSqr() + ";
" );
}
System.out.println();
modify( $cx ){ blockValue( $i ) }
end
--
This message is automatically generated by JIRA.
-
For more information on JIRA, see: http://www.atlassian.com/software/jira
6:43 a.m.
New subject: [JBoss JIRA] Updated: (JBRULES-2873) Rule fires unexpectedly - not CE fails
[
https://issues.jboss.org/browse/JBRULES-2873?page=com.atlassian.jira.plug...
]
Wolfgang Laun updated JBRULES-2873:
-----------------------------------
Attachment: sudokubug1.tgz
use "medium++" which sets 2 cells more than medium. several rules have been
omitted.
Rule fires unexpectedly - not CE fails
--------------------------------------
Key: JBRULES-2873
URL: https://issues.jboss.org/browse/JBRULES-2873
Project: Drools
Issue Type: Bug
Security Level: Public(Everyone can see)
Components: drools-core
Affects Versions: 5.1.1.FINAL
Reporter: Wolfgang Laun
Assignee: Mark Proctor
Priority: Critical
Attachments: sudokubug.tgz, sudokubug1.tgz
The rule shown below fires, and then the code on the RHS prints "But cell ...
matches" which is only possible when there is a Cell according to the constraints in
the "not" CE. - The full Sudoku code is available.
rule "column elimination"
when
not Setting()
$i: Integer()
# occurs in a Cell
$c: Cell( free contains $i, $cs: cellSqr, $cc: cellCol )
# but not in another cell of the same square and a different column
not Cell( this != $c, free contains $i, cellSqr == $cs, cellCol != $cc )
## not ( $oc: Cell( this != $c )
## and
## eval( $oc.getFree().contains( $i ) &&
## $oc.getCellSqr().equals( $cs ) &&
## ! $oc.getCellCol().equals( $cc ) ) )
# but there is a cell in the same column and another square containing this value
$cx: Cell( freeCount > 1, free contains $i, cellCol == $cc, cellSqr != $cs )
then
# remove the value from that other cell
System.out.println( "column elimination due to " + $c.posAsString() +
": remove " + $i + " from " +
$cx.posAsString() );
for( int iRow = 0; iRow < 9; iRow++ ){
for( int iCol = 0; iCol < 9; iCol++ ){
Cell cell = Sudoku.sudoku.cells[iRow][iCol];
if( ! cell.equals( $c ) &&
cell.getCellSqr().equals( $cs ) &&
! cell.getCellCol().equals( $cc ) &&
cell.getFree().contains( $i ) ){
System.out.println( "But cell " + cell.toString() + "
matches!" );
}
}
}
for( Cell c: $cs.getCells() ){
System.out.print( c.posAsString() + ": " + c.getFree() +
" cc="+c.getCellCol() + " cs="+c.getCellSqr() + ";
" );
}
System.out.println();
modify( $cx ){ blockValue( $i ) }
end
--
This message is automatically generated by JIRA.
-
For more information on JIRA, see: http://www.atlassian.com/software/jira
2:25 a.m.
New subject: [JBoss JIRA] Updated: (JBRULES-2873) Rule fires unexpectedly - not CE fails
[
https://issues.jboss.org/browse/JBRULES-2873?page=com.atlassian.jira.plug...
]
Wolfgang Laun updated JBRULES-2873:
-----------------------------------
Attachment: sudokubug2.tgz
The set of rules has been reduced even more. To see the problem, select sample sudoku
"Hard 4++" and klick on [Step]. On standard output:
column elimination due to [3,7]: remove 3 from [2,7]
But cell [3,8]: matches!
But cell [5,8]: matches!
This indicates the firing that should not be. All cells are shown below "=== State of
grid when rule misfires ===".
Rule fires unexpectedly - not CE fails
--------------------------------------
Key: JBRULES-2873
URL: https://issues.jboss.org/browse/JBRULES-2873
Project: Drools
Issue Type: Bug
Security Level: Public(Everyone can see)
Components: drools-core
Affects Versions: 5.1.1.FINAL
Reporter: Wolfgang Laun
Assignee: Mark Proctor
Priority: Critical
Attachments: sudokubug.tgz, sudokubug1.tgz, sudokubug2.tgz
The rule shown below fires, and then the code on the RHS prints "But cell ...
matches" which is only possible when there is a Cell according to the constraints in
the "not" CE. - The full Sudoku code is available.
rule "column elimination"
when
not Setting()
$i: Integer()
# occurs in a Cell
$c: Cell( free contains $i, $cs: cellSqr, $cc: cellCol )
# but not in another cell of the same square and a different column
not Cell( this != $c, free contains $i, cellSqr == $cs, cellCol != $cc )
## not ( $oc: Cell( this != $c )
## and
## eval( $oc.getFree().contains( $i ) &&
## $oc.getCellSqr().equals( $cs ) &&
## ! $oc.getCellCol().equals( $cc ) ) )
# but there is a cell in the same column and another square containing this value
$cx: Cell( freeCount > 1, free contains $i, cellCol == $cc, cellSqr != $cs )
then
# remove the value from that other cell
System.out.println( "column elimination due to " + $c.posAsString() +
": remove " + $i + " from " +
$cx.posAsString() );
for( int iRow = 0; iRow < 9; iRow++ ){
for( int iCol = 0; iCol < 9; iCol++ ){
Cell cell = Sudoku.sudoku.cells[iRow][iCol];
if( ! cell.equals( $c ) &&
cell.getCellSqr().equals( $cs ) &&
! cell.getCellCol().equals( $cc ) &&
cell.getFree().contains( $i ) ){
System.out.println( "But cell " + cell.toString() + "
matches!" );
}
}
}
for( Cell c: $cs.getCells() ){
System.out.print( c.posAsString() + ": " + c.getFree() +
" cc="+c.getCellCol() + " cs="+c.getCellSqr() + ";
" );
}
System.out.println();
modify( $cx ){ blockValue( $i ) }
end
--
This message is automatically generated by JIRA.
-
For more information on JIRA, see: http://www.atlassian.com/software/jira
9:38 a.m.
New subject: [JBoss JIRA] Commented: (JBRULES-2873) Rule fires unexpectedly - not CE fails
[
https://issues.jboss.org/browse/JBRULES-2873?page=com.atlassian.jira.plug...
]
Wolfgang Laun commented on JBRULES-2873:
----------------------------------------
After setting up an activation event listener for the rule "column elimination"
and with specific cells, I see that the rule fires correctly, saying
column elimination due to [8,2]: remove 5 from [4,2]
This update creates two erroneous activations:
ActivationCreatedEventImpl: column elimination: $i=$i=5, $c=[5,0]: /$c.free=[3, 4, 5, 9],
in org.drools.examples.sudoku.CellSqr@f70ee1 and in column 0, $cx: [2,0]: /$cx.free=[1,
2, 3, 4, 5], in org.drools.examples.sudoku.CellSqr@1bbd583 and in column 0, not: [5,1]:
/not.free=[4, 5, 9], in org.drools.examples.sudoku.CellSqr@f70ee1 and in column 1
ActivationCreatedEventImpl: column elimination: $i=$i=5, $c=[3,0]: /$c.free=[3, 5, 9], in
org.drools.examples.sudoku.CellSqr@f70ee1 and in column 0, $cx: [2,0]: /$cx.free=[1, 2,
3, 4, 5], in org.drools.examples.sudoku.CellSqr@1bbd583 and in column 0, not: [5,1]:
/not.free=[4, 5, 9], in org.drools.examples.sudoku.CellSqr@f70ee1 and in column 1
The second one fires (this is the error):
BeforeActivationFiredEventImpl: column elimination: $i=$i=5, $c=[3,0]: /$c.free=[3, 5,
9], in org.drools.examples.sudoku.CellSqr@f70ee1 and in column 0, $cx: [2,0]:
/$cx.free=[1, 2, 3, 4, 5], in org.drools.examples.sudoku.CellSqr@1bbd583 and in column 0,
not: [5,1]: /not.free=[4, 5, 9], in org.drools.examples.sudoku.CellSqr@f70ee1 and in
column 1
This firing removes the other activation.
Rule fires unexpectedly - not CE fails
--------------------------------------
Key: JBRULES-2873
URL: https://issues.jboss.org/browse/JBRULES-2873
Project: Drools
Issue Type: Bug
Security Level: Public(Everyone can see)
Components: drools-core
Affects Versions: 5.1.1.FINAL
Reporter: Wolfgang Laun
Assignee: Mark Proctor
Priority: Critical
Attachments: sudokubug.tgz, sudokubug1.tgz, sudokubug2.tgz
The rule shown below fires, and then the code on the RHS prints "But cell ...
matches" which is only possible when there is a Cell according to the constraints in
the "not" CE. - The full Sudoku code is available.
rule "column elimination"
when
not Setting()
$i: Integer()
# occurs in a Cell
$c: Cell( free contains $i, $cs: cellSqr, $cc: cellCol )
# but not in another cell of the same square and a different column
not Cell( this != $c, free contains $i, cellSqr == $cs, cellCol != $cc )
## not ( $oc: Cell( this != $c )
## and
## eval( $oc.getFree().contains( $i ) &&
## $oc.getCellSqr().equals( $cs ) &&
## ! $oc.getCellCol().equals( $cc ) ) )
# but there is a cell in the same column and another square containing this value
$cx: Cell( freeCount > 1, free contains $i, cellCol == $cc, cellSqr != $cs )
then
# remove the value from that other cell
System.out.println( "column elimination due to " + $c.posAsString() +
": remove " + $i + " from " +
$cx.posAsString() );
for( int iRow = 0; iRow < 9; iRow++ ){
for( int iCol = 0; iCol < 9; iCol++ ){
Cell cell = Sudoku.sudoku.cells[iRow][iCol];
if( ! cell.equals( $c ) &&
cell.getCellSqr().equals( $cs ) &&
! cell.getCellCol().equals( $cc ) &&
cell.getFree().contains( $i ) ){
System.out.println( "But cell " + cell.toString() + "
matches!" );
}
}
}
for( Cell c: $cs.getCells() ){
System.out.print( c.posAsString() + ": " + c.getFree() +
" cc="+c.getCellCol() + " cs="+c.getCellSqr() + ";
" );
}
System.out.println();
modify( $cx ){ blockValue( $i ) }
end
--
This message is automatically generated by JIRA.
-
For more information on JIRA, see: http://www.atlassian.com/software/jira
10:57 a.m.
New subject: [JBoss JIRA] Commented: (JBRULES-2873) Rule fires unexpectedly - not CE fails
[
https://issues.jboss.org/browse/JBRULES-2873?page=com.atlassian.jira.plug...
]
Wolfgang Laun commented on JBRULES-2873:
----------------------------------------
I have added rules (with low salience) ending one and two patterns earlier than the full
rule "column elimination" and monitored their activation events. From this, it
can be seen that the CE
not Cell( this != $c, free contains $i, cellSqr == $cs, cellCol != $cc )
is indeed the "guilty" one: the (invalid) activation for the rule ending with
this CE is created at the same time as the (also invalid) one for the full rule.
For the rule ending with
$c: Cell( free contains $i, $cs: cellSqr, $cc: cellCol )
3 and 4 activations for cells $c = [3,0] and [5,0], respectively, are created correctly;
all of them remain active until the end.
Rule fires unexpectedly - not CE fails
--------------------------------------
Key: JBRULES-2873
URL: https://issues.jboss.org/browse/JBRULES-2873
Project: Drools
Issue Type: Bug
Security Level: Public(Everyone can see)
Components: drools-core
Affects Versions: 5.1.1.FINAL
Reporter: Wolfgang Laun
Assignee: Mark Proctor
Priority: Critical
Attachments: sudokubug.tgz, sudokubug1.tgz, sudokubug2.tgz
The rule shown below fires, and then the code on the RHS prints "But cell ...
matches" which is only possible when there is a Cell according to the constraints in
the "not" CE. - The full Sudoku code is available.
rule "column elimination"
when
not Setting()
$i: Integer()
# occurs in a Cell
$c: Cell( free contains $i, $cs: cellSqr, $cc: cellCol )
# but not in another cell of the same square and a different column
not Cell( this != $c, free contains $i, cellSqr == $cs, cellCol != $cc )
## not ( $oc: Cell( this != $c )
## and
## eval( $oc.getFree().contains( $i ) &&
## $oc.getCellSqr().equals( $cs ) &&
## ! $oc.getCellCol().equals( $cc ) ) )
# but there is a cell in the same column and another square containing this value
$cx: Cell( freeCount > 1, free contains $i, cellCol == $cc, cellSqr != $cs )
then
# remove the value from that other cell
System.out.println( "column elimination due to " + $c.posAsString() +
": remove " + $i + " from " +
$cx.posAsString() );
for( int iRow = 0; iRow < 9; iRow++ ){
for( int iCol = 0; iCol < 9; iCol++ ){
Cell cell = Sudoku.sudoku.cells[iRow][iCol];
if( ! cell.equals( $c ) &&
cell.getCellSqr().equals( $cs ) &&
! cell.getCellCol().equals( $cc ) &&
cell.getFree().contains( $i ) ){
System.out.println( "But cell " + cell.toString() + "
matches!" );
}
}
}
for( Cell c: $cs.getCells() ){
System.out.print( c.posAsString() + ": " + c.getFree() +
" cc="+c.getCellCol() + " cs="+c.getCellSqr() + ";
" );
}
System.out.println();
modify( $cx ){ blockValue( $i ) }
end
--
This message is automatically generated by JIRA.
-
For more information on JIRA, see: http://www.atlassian.com/software/jira
7:38 a.m.
New subject: [JBoss JIRA] Updated: (JBRULES-2873) Rule fires unexpectedly - not CE fails
[
https://issues.jboss.org/browse/JBRULES-2873?page=com.atlassian.jira.plug...
]
Wolfgang Laun updated JBRULES-2873:
-----------------------------------
Attachment: sudokubug3.tgz
Further reduction of actions executed before running into the bug.
Rule fires unexpectedly - not CE fails
--------------------------------------
Key: JBRULES-2873
URL: https://issues.jboss.org/browse/JBRULES-2873
Project: Drools
Issue Type: Bug
Security Level: Public(Everyone can see)
Components: drools-core
Affects Versions: 5.1.1.FINAL
Reporter: Wolfgang Laun
Assignee: Mark Proctor
Priority: Critical
Attachments: sudokubug.tgz, sudokubug1.tgz, sudokubug2.tgz, sudokubug3.tgz
The rule shown below fires, and then the code on the RHS prints "But cell ...
matches" which is only possible when there is a Cell according to the constraints in
the "not" CE. - The full Sudoku code is available.
rule "column elimination"
when
not Setting()
$i: Integer()
# occurs in a Cell
$c: Cell( free contains $i, $cs: cellSqr, $cc: cellCol )
# but not in another cell of the same square and a different column
not Cell( this != $c, free contains $i, cellSqr == $cs, cellCol != $cc )
## not ( $oc: Cell( this != $c )
## and
## eval( $oc.getFree().contains( $i ) &&
## $oc.getCellSqr().equals( $cs ) &&
## ! $oc.getCellCol().equals( $cc ) ) )
# but there is a cell in the same column and another square containing this value
$cx: Cell( freeCount > 1, free contains $i, cellCol == $cc, cellSqr != $cs )
then
# remove the value from that other cell
System.out.println( "column elimination due to " + $c.posAsString() +
": remove " + $i + " from " +
$cx.posAsString() );
for( int iRow = 0; iRow < 9; iRow++ ){
for( int iCol = 0; iCol < 9; iCol++ ){
Cell cell = Sudoku.sudoku.cells[iRow][iCol];
if( ! cell.equals( $c ) &&
cell.getCellSqr().equals( $cs ) &&
! cell.getCellCol().equals( $cc ) &&
cell.getFree().contains( $i ) ){
System.out.println( "But cell " + cell.toString() + "
matches!" );
}
}
}
for( Cell c: $cs.getCells() ){
System.out.print( c.posAsString() + ": " + c.getFree() +
" cc="+c.getCellCol() + " cs="+c.getCellSqr() + ";
" );
}
System.out.println();
modify( $cx ){ blockValue( $i ) }
end
--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira
6:18 a.m.
New subject: [JBoss JIRA] Closed: (JBRULES-2873) Rule fires unexpectedly - not CE fails
[
https://issues.jboss.org/browse/JBRULES-2873?page=com.atlassian.jira.plug...
]
Edson Tirelli closed JBRULES-2873.
----------------------------------
Rule fires unexpectedly - not CE fails
--------------------------------------
Key: JBRULES-2873
URL: https://issues.jboss.org/browse/JBRULES-2873
Project: Drools
Issue Type: Bug
Security Level: Public(Everyone can see)
Components: drools-core
Affects Versions: 5.1.1.FINAL
Reporter: Wolfgang Laun
Assignee: Mark Proctor
Priority: Critical
Fix For: 5.2.0.CR1
Attachments: sudokubug.tgz, sudokubug1.tgz, sudokubug2.tgz, sudokubug3.tgz
The rule shown below fires, and then the code on the RHS prints "But cell ...
matches" which is only possible when there is a Cell according to the constraints in
the "not" CE. - The full Sudoku code is available.
rule "column elimination"
when
not Setting()
$i: Integer()
# occurs in a Cell
$c: Cell( free contains $i, $cs: cellSqr, $cc: cellCol )
# but not in another cell of the same square and a different column
not Cell( this != $c, free contains $i, cellSqr == $cs, cellCol != $cc )
## not ( $oc: Cell( this != $c )
## and
## eval( $oc.getFree().contains( $i ) &&
## $oc.getCellSqr().equals( $cs ) &&
## ! $oc.getCellCol().equals( $cc ) ) )
# but there is a cell in the same column and another square containing this value
$cx: Cell( freeCount > 1, free contains $i, cellCol == $cc, cellSqr != $cs )
then
# remove the value from that other cell
System.out.println( "column elimination due to " + $c.posAsString() +
": remove " + $i + " from " +
$cx.posAsString() );
for( int iRow = 0; iRow < 9; iRow++ ){
for( int iCol = 0; iCol < 9; iCol++ ){
Cell cell = Sudoku.sudoku.cells[iRow][iCol];
if( ! cell.equals( $c ) &&
cell.getCellSqr().equals( $cs ) &&
! cell.getCellCol().equals( $cc ) &&
cell.getFree().contains( $i ) ){
System.out.println( "But cell " + cell.toString() + "
matches!" );
}
}
}
for( Cell c: $cs.getCells() ){
System.out.print( c.posAsString() + ": " + c.getFree() +
" cc="+c.getCellCol() + " cs="+c.getCellSqr() + ";
" );
}
System.out.println();
modify( $cx ){ blockValue( $i ) }
end
--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira
6:18 a.m.
New subject: [JBoss JIRA] Resolved: (JBRULES-2873) Rule fires unexpectedly - not CE fails
[
https://issues.jboss.org/browse/JBRULES-2873?page=com.atlassian.jira.plug...
]
Edson Tirelli resolved JBRULES-2873.
------------------------------------
Fix Version/s: 5.2.0.CR1
Resolution: Done
Rule fires unexpectedly - not CE fails
--------------------------------------
Key: JBRULES-2873
URL: https://issues.jboss.org/browse/JBRULES-2873
Project: Drools
Issue Type: Bug
Security Level: Public(Everyone can see)
Components: drools-core
Affects Versions: 5.1.1.FINAL
Reporter: Wolfgang Laun
Assignee: Mark Proctor
Priority: Critical
Fix For: 5.2.0.CR1
Attachments: sudokubug.tgz, sudokubug1.tgz, sudokubug2.tgz, sudokubug3.tgz
The rule shown below fires, and then the code on the RHS prints "But cell ...
matches" which is only possible when there is a Cell according to the constraints in
the "not" CE. - The full Sudoku code is available.
rule "column elimination"
when
not Setting()
$i: Integer()
# occurs in a Cell
$c: Cell( free contains $i, $cs: cellSqr, $cc: cellCol )
# but not in another cell of the same square and a different column
not Cell( this != $c, free contains $i, cellSqr == $cs, cellCol != $cc )
## not ( $oc: Cell( this != $c )
## and
## eval( $oc.getFree().contains( $i ) &&
## $oc.getCellSqr().equals( $cs ) &&
## ! $oc.getCellCol().equals( $cc ) ) )
# but there is a cell in the same column and another square containing this value
$cx: Cell( freeCount > 1, free contains $i, cellCol == $cc, cellSqr != $cs )
then
# remove the value from that other cell
System.out.println( "column elimination due to " + $c.posAsString() +
": remove " + $i + " from " +
$cx.posAsString() );
for( int iRow = 0; iRow < 9; iRow++ ){
for( int iCol = 0; iCol < 9; iCol++ ){
Cell cell = Sudoku.sudoku.cells[iRow][iCol];
if( ! cell.equals( $c ) &&
cell.getCellSqr().equals( $cs ) &&
! cell.getCellCol().equals( $cc ) &&
cell.getFree().contains( $i ) ){
System.out.println( "But cell " + cell.toString() + "
matches!" );
}
}
}
for( Cell c: $cs.getCells() ){
System.out.print( c.posAsString() + ": " + c.getFree() +
" cc="+c.getCellCol() + " cs="+c.getCellSqr() + ";
" );
}
System.out.println();
modify( $cx ){ blockValue( $i ) }
end
--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira
4760
days inactive
4866
days old
8 comments
2 participants
participants (2)
-
Edson Tirelli (JIRA) -
Wolfgang Laun (JIRA)