FastDownward.SAS.Plan

Documentation

data Plan

Constructors

Plan

Fields

• version :: Version
• useCosts :: UseCosts
• variables :: Seq Variable
• mutexGroups :: Seq MutexGroup
• initialState :: State
• goal :: Goal
• operators :: Seq Operator
• axioms :: Seq Axiom

Instances

Show Plan

Defined in FastDownward.SAS.Plan

Methods

showsPrec :: Int -> Plan -> ShowS

show :: Plan -> String

showList :: [Plan] -> ShowS

toSAS :: Plan -> Text