FastDownward.SAS.Goal
newtype Goal Source #
Constructors
Fields
Defined in FastDownward.SAS.Goal
Methods
showsPrec :: Int -> Goal -> ShowS #
show :: Goal -> String #
showList :: [Goal] -> ShowS #
toSAS :: Goal -> Builder Source #