diff options
author | Tom Smeding <tom.smeding@gmail.com> | 2018-09-01 10:09:43 +0200 |
---|---|---|
committer | Tom Smeding <tom.smeding@gmail.com> | 2018-09-01 10:09:43 +0200 |
commit | d68df2d0d847f7d9579df8b48ae95be5e90fa470 (patch) | |
tree | c2b36bb52c16a3da661b3dcb70110cbd86de5887 /hsolve/FSu.hs | |
parent | 9aabb53bfda096dafebfddaab8df274d82ac01b4 (diff) |
hsolve: stronger indirect scratching
Diffstat (limited to 'hsolve/FSu.hs')
-rw-r--r-- | hsolve/FSu.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hsolve/FSu.hs b/hsolve/FSu.hs index dc0f4c6..7429da2 100644 --- a/hsolve/FSu.hs +++ b/hsolve/FSu.hs @@ -104,7 +104,7 @@ isValidCol :: Arr s Value -> Index -> State s -> ST s Bool isValidCol arr c st = indexSetNoDups arr [9 * i + c | i <- [0..8]] st isValidBlock :: Arr s Value -> Index -> State s -> ST s Bool -isValidBlock arr b st = indexSetNoDups arr [blockOrigin b + 9 * y + x| y <- [0..2], x <- [0..2]] st +isValidBlock arr b st = indexSetNoDups arr [blockOrigin b + 9 * y + x | y <- [0..2], x <- [0..2]] st indexSetNoDups :: forall s. Arr s Value -> [Index] -> State s -> ST s Bool indexSetNoDups arr set st = do |