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 BallLocation Source #
Instances
Eq BallLocation Source # | |
Defined in FastDownward.Examples.Gripper | |
Ord BallLocation Source # | |
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 # | |
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 # | |
Defined in FastDownward.Examples.Gripper | |
Ord GripperState Source # | |
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 # | |
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 #
Constructors
PickUpBall | |
SwitchRooms | |
DropBall |
cfg :: SearchEngine Source #