FastDownward.SAS.Operator

Documentation

data Operator

Constructors

Operator

Fields

• name :: Text
• prevail :: Seq VariableAssignment
• effects :: Seq Effect

Instances

Show Operator

Defined in FastDownward.SAS.Operator

Methods

showsPrec :: Int -> Operator -> ShowS

show :: Operator -> String

showList :: [Operator] -> ShowS

toSAS :: Operator -> Builder