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