public void UpdateAll_ModifiesRelevantPossibles()
{
var puzzle = new PuzzleWithPossibleValues(new int?[][] {
new int?[] { 1, null /* 4 */, null /* 3 */, 2 },
new int?[] { null /* 2 */, null /* 3 */, 1, null /* 4 */ },
new int?[] { null /* 4 */, null /* 1 */, null /* 2 */, null /* 3 */ },
new int?[] { 3, 2, 4, 1 }
});
var ruleKeeper = new StandardRuleKeeper();
Assert.True(ruleKeeper.TryInit(puzzle));
var heuristic = new UniqueInRowHeuristic(
(IMissingRowValuesTracker)ruleKeeper.GetRules()[0]);
Assert.True(heuristic.TryInitFor(puzzle));
Assert.Equal(new BitVector(0b11000), puzzle.GetPossibleValues(new Coordinate(0, 1))); // Pre-modified
Assert.Equal(new BitVector(0b10100), puzzle.GetPossibleValues(new Coordinate(1, 0))); // Pre-modified
Assert.Equal(new BitVector(0b10010), puzzle.GetPossibleValues(new Coordinate(2, 1))); // Pre-modified
Assert.Equal(new BitVector(0b01100), puzzle.GetPossibleValues(new Coordinate(2, 2))); // Pre-modified
heuristic.UpdateAll();
Assert.Equal(new BitVector(0b10000), puzzle.GetPossibleValues(new Coordinate(0, 1))); // Modified
Assert.Equal(new BitVector(0b01000), puzzle.GetPossibleValues(new Coordinate(0, 2)));
Assert.Equal(new BitVector(0b00100), puzzle.GetPossibleValues(new Coordinate(1, 0))); // Modified
Assert.Equal(new BitVector(0b11000), puzzle.GetPossibleValues(new Coordinate(1, 1)));
Assert.Equal(new BitVector(0b11000), puzzle.GetPossibleValues(new Coordinate(1, 3)));
Assert.Equal(new BitVector(0b10000), puzzle.GetPossibleValues(new Coordinate(2, 0)));
Assert.Equal(new BitVector(0b00010), puzzle.GetPossibleValues(new Coordinate(2, 1))); // Modified
Assert.Equal(new BitVector(0b00100), puzzle.GetPossibleValues(new Coordinate(2, 2))); // Modified
Assert.Equal(new BitVector(0b01000), puzzle.GetPossibleValues(new Coordinate(2, 3)));
}
public void UpdateAll_ModifiesRelevantPossibles()
{
var puzzle = new Puzzle(new int?[, ] {
{ 1, null /* 4 */, null /* 3 */, 2 },
{ null /* 2 */, null /* 3 */, 1, null /* 4 */ },
{ null /* 4 */, null /* 1 */, null /* 2 */, null /* 3 */ },
{ 3, 2, 4, 1 }
});
var possibleValues = new PossibleValues(puzzle);
var ruleKeeper = new StandardRuleKeeper(puzzle, possibleValues);
var heuristic = new UniqueInRowHeuristic(
puzzle, possibleValues, (IMissingRowValuesTracker)ruleKeeper.GetRules()[0]);
Assert.Equal(new BitVector(0b11000), possibleValues[new Coordinate(0, 1)]); // Pre-modified
Assert.Equal(new BitVector(0b10100), possibleValues[new Coordinate(1, 0)]); // Pre-modified
Assert.Equal(new BitVector(0b10010), possibleValues[new Coordinate(2, 1)]); // Pre-modified
Assert.Equal(new BitVector(0b01100), possibleValues[new Coordinate(2, 2)]); // Pre-modified
heuristic.UpdateAll();
Assert.Equal(new BitVector(0b10000), possibleValues[new Coordinate(0, 1)]); // Modified
Assert.Equal(new BitVector(0b01000), possibleValues[new Coordinate(0, 2)]);
Assert.Equal(new BitVector(0b00100), possibleValues[new Coordinate(1, 0)]); // Modified
Assert.Equal(new BitVector(0b11000), possibleValues[new Coordinate(1, 1)]);
Assert.Equal(new BitVector(0b11000), possibleValues[new Coordinate(1, 3)]);
Assert.Equal(new BitVector(0b10000), possibleValues[new Coordinate(2, 0)]);
Assert.Equal(new BitVector(0b00010), possibleValues[new Coordinate(2, 1)]); // Modified
Assert.Equal(new BitVector(0b00100), possibleValues[new Coordinate(2, 2)]); // Modified
Assert.Equal(new BitVector(0b01000), possibleValues[new Coordinate(2, 3)]);
}