Safe Haskell	Safe-Inferred
Language	Haskell2010

FastDownward.SAS

Documentation

data Axiom Source #

Constructors

Axiom VariableIndex (Seq VariableAssignment) DomainIndex DomainIndex

Instances

Instances details

Show Axiom Source #
Instance details Defined in FastDownward.SAS.Axiom Methods showsPrec :: Int -> Axiom -> ShowS # show :: Axiom -> String # showList :: [Axiom] -> ShowS #

newtype DomainIndex Source #

Constructors

DomainIndex
Fields unDomainIndex :: Int

Instances

Instances details

Show DomainIndex Source #
Instance details Defined in FastDownward.SAS.DomainIndex Methods showsPrec :: Int -> DomainIndex -> ShowS # show :: DomainIndex -> String # showList :: [DomainIndex] -> ShowS #
Eq DomainIndex Source #
Instance details Defined in FastDownward.SAS.DomainIndex Methods (==) :: DomainIndex -> DomainIndex -> Bool # (/=) :: DomainIndex -> DomainIndex -> Bool #
Ord DomainIndex Source #
Instance details Defined in FastDownward.SAS.DomainIndex Methods compare :: DomainIndex -> DomainIndex -> Ordering # (<) :: DomainIndex -> DomainIndex -> Bool # (<=) :: DomainIndex -> DomainIndex -> Bool # (>) :: DomainIndex -> DomainIndex -> Bool # (>=) :: DomainIndex -> DomainIndex -> Bool # max :: DomainIndex -> DomainIndex -> DomainIndex # min :: DomainIndex -> DomainIndex -> DomainIndex #

data Effect Source #

Constructors

Effect VariableIndex (Maybe DomainIndex) DomainIndex

Instances

Instances details

Show Effect Source #
Instance details Defined in FastDownward.SAS.Effect Methods showsPrec :: Int -> Effect -> ShowS # show :: Effect -> String # showList :: [Effect] -> ShowS #
Eq Effect Source #
Instance details Defined in FastDownward.SAS.Effect Methods (==) :: Effect -> Effect -> Bool # (/=) :: Effect -> Effect -> Bool #
Ord Effect Source #
Instance details Defined in FastDownward.SAS.Effect Methods compare :: Effect -> Effect -> Ordering # (<) :: Effect -> Effect -> Bool # (<=) :: Effect -> Effect -> Bool # (>) :: Effect -> Effect -> Bool # (>=) :: Effect -> Effect -> Bool # max :: Effect -> Effect -> Effect # min :: Effect -> Effect -> Effect #

newtype Goal Source #

Constructors

Goal (Seq VariableAssignment)

Instances

Instances details

Show Goal Source #
Instance details Defined in FastDownward.SAS.Goal Methods showsPrec :: Int -> Goal -> ShowS # show :: Goal -> String # showList :: [Goal] -> ShowS #

newtype MutexGroup Source #

Constructors

MutexGroup (Seq VariableAssignment)

Instances

Instances details

Show MutexGroup Source #
Instance details Defined in FastDownward.SAS.MutexGroup Methods showsPrec :: Int -> MutexGroup -> ShowS # show :: MutexGroup -> String # showList :: [MutexGroup] -> ShowS #

data Operator Source #

Constructors

Operator Text (Seq VariableAssignment) (Seq Effect)

Instances

Instances details

Show Operator Source #
Instance details Defined in FastDownward.SAS.Operator Methods showsPrec :: Int -> Operator -> ShowS # show :: Operator -> String # showList :: [Operator] -> ShowS #

data Plan Source #

Constructors

Plan Version UseCosts (Seq Variable) (Seq MutexGroup) State Goal (Seq Operator) (Seq Axiom)

Instances

Instances details

Show Plan Source #
Instance details Defined in FastDownward.SAS.Plan Methods showsPrec :: Int -> Plan -> ShowS # show :: Plan -> String # showList :: [Plan] -> ShowS #

newtype State Source #

Constructors

State (Seq DomainIndex)

Instances

Instances details

Show State Source #
Instance details Defined in FastDownward.SAS.State Methods showsPrec :: Int -> State -> ShowS # show :: State -> String # showList :: [State] -> ShowS #

data UseCosts Source #

Constructors

UseCosts
NoCosts

Instances

Instances details

Show UseCosts Source #
Instance details Defined in FastDownward.SAS.UseCosts Methods showsPrec :: Int -> UseCosts -> ShowS # show :: UseCosts -> String # showList :: [UseCosts] -> ShowS #

data Variable Source #

Constructors

Variable Text (Seq Text) Int

Instances

Instances details

Show Variable Source #
Instance details Defined in FastDownward.SAS.Variable Methods showsPrec :: Int -> Variable -> ShowS # show :: Variable -> String # showList :: [Variable] -> ShowS #

data VariableAssignment Source #

Constructors

VariableAssignment VariableIndex DomainIndex

Instances

Instances details

Show VariableAssignment Source #
Instance details Defined in FastDownward.SAS.VariableAssignment Methods showsPrec :: Int -> VariableAssignment -> ShowS # show :: VariableAssignment -> String # showList :: [VariableAssignment] -> ShowS #
Eq VariableAssignment Source #
Instance details Defined in FastDownward.SAS.VariableAssignment Methods (==) :: VariableAssignment -> VariableAssignment -> Bool # (/=) :: VariableAssignment -> VariableAssignment -> Bool #
Ord VariableAssignment Source #
Instance details Defined in FastDownward.SAS.VariableAssignment Methods compare :: VariableAssignment -> VariableAssignment -> Ordering # (<) :: VariableAssignment -> VariableAssignment -> Bool # (<=) :: VariableAssignment -> VariableAssignment -> Bool # (>) :: VariableAssignment -> VariableAssignment -> Bool # (>=) :: VariableAssignment -> VariableAssignment -> Bool # max :: VariableAssignment -> VariableAssignment -> VariableAssignment # min :: VariableAssignment -> VariableAssignment -> VariableAssignment #

newtype VariableIndex Source #

Constructors

VariableIndex
Fields unVariableIndex :: Int

Instances

Instances details

Show VariableIndex Source #
Instance details Defined in FastDownward.SAS.VariableIndex Methods showsPrec :: Int -> VariableIndex -> ShowS # show :: VariableIndex -> String # showList :: [VariableIndex] -> ShowS #
Eq VariableIndex Source #
Instance details Defined in FastDownward.SAS.VariableIndex Methods (==) :: VariableIndex -> VariableIndex -> Bool # (/=) :: VariableIndex -> VariableIndex -> Bool #
Ord VariableIndex Source #
Instance details Defined in FastDownward.SAS.VariableIndex Methods compare :: VariableIndex -> VariableIndex -> Ordering # (<) :: VariableIndex -> VariableIndex -> Bool # (<=) :: VariableIndex -> VariableIndex -> Bool # (>) :: VariableIndex -> VariableIndex -> Bool # (>=) :: VariableIndex -> VariableIndex -> Bool # max :: VariableIndex -> VariableIndex -> VariableIndex # min :: VariableIndex -> VariableIndex -> VariableIndex #

data Version Source #

Constructors

SAS3

Instances

Instances details

Show Version Source #
Instance details Defined in FastDownward.SAS.Version Methods showsPrec :: Int -> Version -> ShowS # show :: Version -> String # showList :: [Version] -> ShowS #