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

Safe HaskellSafe
LanguageHaskell2010

FastDownward.SAS.Axiom

Documentation

data Axiom Source #

Instances
Show Axiom Source # 
Instance details

Defined in FastDownward.SAS.Axiom

Methods

showsPrec :: Int -> Axiom -> ShowS #

show :: Axiom -> String #

showList :: [Axiom] -> ShowS #