FastDownward.SAS.Operator

Documentation

data Operator

Constructors

Operator

Fields

• name :: Text
• prevail :: [VariableAssignment]
• effects :: [Effect]

Instances

Show Operator

Defined in FastDownward.SAS.Operator

Methods

showsPrec :: Int -> Operator -> ShowS

show :: Operator -> String

showList :: [Operator] -> ShowS

toSAS :: Operator -> Text