code/Sokoban.dcl

   1 definition module Sokoban
   2
   3 from StdString import class toString
   4
   5 :: SokobanPuzzle = Sokoban [[SokobanTile]]
   6 :: SokobanTile = Free | Wall | Box | Target | Agent | TargetAgent | TargetBox
   7
   8 instance toString SokobanTile
   9 instance toString SokobanPuzzle
  10
  11 parse :: String *World -> (SokobanPuzzle, *World)
  12 parseFromFile :: *File -> (SokobanPuzzle, *File)
  13
  14 numberOfBlocks :: SokobanPuzzle -> Int