puzzle :: SokobanPuzzle
puzzle = Sokoban [[Wall, Wall, Wall, Wall, Wall, Wall],
[Wall, Free, Free, Free, Free, Wall],
[Wall, Agent,Free, Box, Free, Wall],
[Wall, Free, Free, Free, Target, Wall],
[Wall, Wall, Wall, Wall, Wall, Wall]]
puzzle :: SokobanPuzzle
puzzle = Sokoban [[Wall, Wall, Wall, Wall, Wall, Wall],
[Wall, Free, Free, Free, Free, Wall],
[Wall, Agent,Free, Box, Free, Wall],
[Wall, Free, Free, Free, Target, Wall],
[Wall, Wall, Wall, Wall, Wall, Wall]]
genField :: [[SokobanTile]] Int Int -> String
genField p x y = " init(x" +++ toString x +++ "_" +++ toString y +++ ") := " +++ fromTile ((p !! x) !! y) +++ ";\n"
genField :: [[SokobanTile]] Int Int -> String
genField p x y = " init(x" +++ toString x +++ "_" +++ toString y +++ ") := " +++ fromTile ((p !! x) !! y) +++ ";\n"