FastDownward.SAS.Goal

Documentation

newtype Goal

Constructors

Goal

Fields

• finalAssignments :: Seq VariableAssignment

Instances

Show Goal

Defined in FastDownward.SAS.Goal

Methods

showsPrec :: Int -> Goal -> ShowS

show :: Goal -> String

showList :: [Goal] -> ShowS

toSAS :: Goal -> Builder