Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
Show BallLocation Source # | |
Defined in FastDownward.Examples.Gripper showsPrec :: Int -> BallLocation -> ShowS # show :: BallLocation -> String # showList :: [BallLocation] -> ShowS # | |
Eq BallLocation Source # | |
Defined in FastDownward.Examples.Gripper (==) :: BallLocation -> BallLocation -> Bool # (/=) :: BallLocation -> BallLocation -> Bool # | |
Ord BallLocation Source # | |
Defined in FastDownward.Examples.Gripper compare :: BallLocation -> BallLocation -> Ordering # (<) :: BallLocation -> BallLocation -> Bool # (<=) :: BallLocation -> BallLocation -> Bool # (>) :: BallLocation -> BallLocation -> Bool # (>=) :: BallLocation -> BallLocation -> Bool # max :: BallLocation -> BallLocation -> BallLocation # min :: BallLocation -> BallLocation -> BallLocation # |
data GripperState Source #
Instances
Show GripperState Source # | |
Defined in FastDownward.Examples.Gripper showsPrec :: Int -> GripperState -> ShowS # show :: GripperState -> String # showList :: [GripperState] -> ShowS # | |
Eq GripperState Source # | |
Defined in FastDownward.Examples.Gripper (==) :: GripperState -> GripperState -> Bool # (/=) :: GripperState -> GripperState -> Bool # | |
Ord GripperState Source # | |
Defined in FastDownward.Examples.Gripper compare :: GripperState -> GripperState -> Ordering # (<) :: GripperState -> GripperState -> Bool # (<=) :: GripperState -> GripperState -> Bool # (>) :: GripperState -> GripperState -> Bool # (>=) :: GripperState -> GripperState -> Bool # max :: GripperState -> GripperState -> GripperState # min :: GripperState -> GripperState -> GripperState # |
type Ball = Var BallLocation Source #
type Gripper = Var GripperState Source #