FastDownward.SAS.Plan

Documentation

data Plan

Constructors

Plan

Fields

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

Instances

Show Plan

Defined in FastDownward.SAS.Plan

Methods

showsPrec :: Int -> Plan -> ShowS

show :: Plan -> String

showList :: [Plan] -> ShowS

toSAS :: Plan -> Text