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