Solve.FoxHounds

Documentation

packSize :: Int

boardSize :: Int

numSquares :: Int

type Idx = Int

data Coord

Constructors

Coord Int Int

Instances

Eq Coord

Defined in Solve.FoxHounds

Methods

(==) :: Coord -> Coord -> Bool

(/=) :: Coord -> Coord -> Bool

Ord Coord

Defined in Solve.FoxHounds

Methods

compare :: Coord -> Coord -> Ordering

(<) :: Coord -> Coord -> Bool

(<=) :: Coord -> Coord -> Bool

(>) :: Coord -> Coord -> Bool

(>=) :: Coord -> Coord -> Bool

max :: Coord -> Coord -> Coord

min :: Coord -> Coord -> Coord

Show Coord

Defined in Solve.FoxHounds

Methods

showsPrec :: Int -> Coord -> ShowS

show :: Coord -> String

showList :: [Coord] -> ShowS

onBoard :: Coord -> Bool

rankAdjacent :: Int -> Int -> [Coord]

foxAdjacent :: Coord -> [Coord]

houndAdjacent :: Coord -> [Coord]

houndsReachable :: Set Coord -> Set Coord

foxReachable :: Set Coord -> Coord -> Set Coord

coordParity :: Coord -> Bool

coordToSquare :: Coord -> Idx

squareToCoord :: Idx -> Coord

data Pos

Constructors

Pos

Fields

• fox :: Coord
• hounds :: Set Coord

Instances

Eq Pos

Defined in Solve.FoxHounds

Methods

(==) :: Pos -> Pos -> Bool

(/=) :: Pos -> Pos -> Bool

Ord Pos

Defined in Solve.FoxHounds

Methods

compare :: Pos -> Pos -> Ordering

(<) :: Pos -> Pos -> Bool

(<=) :: Pos -> Pos -> Bool

(>) :: Pos -> Pos -> Bool

(>=) :: Pos -> Pos -> Bool

max :: Pos -> Pos -> Pos

min :: Pos -> Pos -> Pos

Show Pos

Defined in Solve.FoxHounds

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

Printable Pos

Defined in Solve.FoxHounds

Methods

ppPosition :: Pos -> String

ppPlayer :: Pos -> Player -> String

ppPlayerPosition :: Player -> Pos -> String

ppEval :: Pos -> Eval -> String

ppPlay :: [(Player, Pos)] -> String

initial :: Pos

occupied :: Pos -> Coord -> Bool

empty :: Pos -> Coord -> Bool

isFoxBox :: Pos -> Bool

posParity :: Pos -> Bool

posToMove :: Pos -> Player

posToIdx :: Pos -> Idx

idxToPos :: Idx -> Pos

foxMove :: Pos -> [Pos]

houndsMove :: Pos -> [Pos]

move :: Player -> Pos -> [Pos]

foxEscaped :: Pos -> Bool

won :: Player -> Pos -> Maybe Player

game :: Game Pos

gameOver :: Player -> Pos -> Bool

evalInitial :: Val Pos v -> v

bfsInitial :: [(Player, Pos)]

solution :: Solve Pos

winningFor :: Player -> Player -> Pos -> Bool

winningForFox :: Player -> Pos -> Bool

winningForHounds :: Player -> Pos -> Bool

winDepth :: Player -> Pos -> Int

perfectPlay :: Player -> Pos -> [(Player, Pos)]

games :: Games Pos

gamesInitial :: Integer

study :: Player -> Study Pos

foxBox :: Force Pos

maxFoxBox :: Val Pos (Max Event)

stopLossStrategy :: Player -> Int -> Strategy Pos

foxBoxStrategy :: Int -> Strategy Pos

maxFoxBoxStrategy :: Player -> Strategy Pos

foxStrategyN :: Int -> Strategy Pos

houndsStrategyN :: Int -> Strategy Pos

adversaries :: Adversaries Pos

strategy :: Prob -> Player -> Strategy Pos

moveDist :: Prob -> Player -> Pos -> [(Pos, Prob)]

validateStrategy :: Player -> Strategy Pos -> StrategyFail Pos

probWin :: Player -> Strategy Pos -> ProbWin Pos

opposite :: (Player, Pos)

evalOpposite :: Val Pos v -> v

typical :: (Player -> Pos -> Bool) -> (Player, Pos)

ppPlayer :: Player -> String

ppEval :: Eval -> String