fast-downward-0.1.0.0: Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward.

Safe HaskellSafe
LanguageHaskell2010

FastDownward.SAS.Goal

Documentation

newtype Goal Source #

Constructors

Goal 

Fields

Instances
Show Goal Source # 
Instance details

Defined in FastDownward.SAS.Goal

Methods

showsPrec :: Int -> Goal -> ShowS #

show :: Goal -> String #

showList :: [Goal] -> ShowS #

toSAS :: Goal -> Text Source #