Safe Haskell	None
Language	Haskell2010

FastDownward.Examples.Gripper

Description

This module is an example of using fast-downward to solve a problem of transporting balls between rooms using a robot. See the source listing for this file for the full example, and see https://ocharles.org.uk/blog/posts/2018-12-25-fast-downward.html for a detailed walk through.

Documentation

data Room Source #

Constructors

RoomA
RoomB

Instances

Eq Room Source #
Instance details Defined in FastDownward.Examples.Gripper Methods (==) :: Room -> Room -> Bool # (/=) :: Room -> Room -> Bool #
Ord Room Source #
Instance details Defined in FastDownward.Examples.Gripper Methods compare :: Room -> Room -> Ordering # (<) :: Room -> Room -> Bool # (<=) :: Room -> Room -> Bool # (>) :: Room -> Room -> Bool # (>=) :: Room -> Room -> Bool # max :: Room -> Room -> Room # min :: Room -> Room -> Room #
Show Room Source #
Instance details Defined in FastDownward.Examples.Gripper Methods showsPrec :: Int -> Room -> ShowS # show :: Room -> String # showList :: [Room] -> ShowS #

adjacent :: Room -> Room Source #

data BallLocation Source #

Constructors

InRoom Room
InGripper

Instances

Eq BallLocation Source #
Instance details Defined in FastDownward.Examples.Gripper Methods (==) :: BallLocation -> BallLocation -> Bool # (/=) :: BallLocation -> BallLocation -> Bool #
Ord BallLocation Source #
Instance details Defined in FastDownward.Examples.Gripper Methods compare :: BallLocation -> BallLocation -> Ordering # (<) :: BallLocation -> BallLocation -> Bool # (<=) :: BallLocation -> BallLocation -> Bool # (>) :: BallLocation -> BallLocation -> Bool # (>=) :: BallLocation -> BallLocation -> Bool # max :: BallLocation -> BallLocation -> BallLocation # min :: BallLocation -> BallLocation -> BallLocation #
Show BallLocation Source #
Instance details Defined in FastDownward.Examples.Gripper Methods showsPrec :: Int -> BallLocation -> ShowS # show :: BallLocation -> String # showList :: [BallLocation] -> ShowS #

data GripperState Source #

Constructors

Empty
HoldingBall

Instances

Eq GripperState Source #
Instance details Defined in FastDownward.Examples.Gripper Methods (==) :: GripperState -> GripperState -> Bool # (/=) :: GripperState -> GripperState -> Bool #
Ord GripperState Source #
Instance details Defined in FastDownward.Examples.Gripper Methods compare :: GripperState -> GripperState -> Ordering # (<) :: GripperState -> GripperState -> Bool # (<=) :: GripperState -> GripperState -> Bool # (>) :: GripperState -> GripperState -> Bool # (>=) :: GripperState -> GripperState -> Bool # max :: GripperState -> GripperState -> GripperState # min :: GripperState -> GripperState -> GripperState #
Show GripperState Source #
Instance details Defined in FastDownward.Examples.Gripper Methods showsPrec :: Int -> GripperState -> ShowS # show :: GripperState -> String # showList :: [GripperState] -> ShowS #

type Ball = Var BallLocation Source #

type Gripper = Var GripperState Source #

data Action Source #

Constructors

PickUpBall
SwitchRooms
DropBall

Instances

Show Action Source #
Instance details Defined in FastDownward.Examples.Gripper Methods showsPrec :: Int -> Action -> ShowS # show :: Action -> String # showList :: [Action] -> ShowS #

problem :: Problem (SolveResult Action) Source #

main :: IO () Source #

cfg :: SearchEngine Source #