fast-downward-0.1.0.0: Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward.

Safe HaskellSafe
LanguageHaskell2010

FastDownward.SAS.VariableIndex

Documentation

newtype VariableIndex Source #

Constructors

VariableIndex 

Fields

Instances
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 #

Show VariableIndex Source # 
Instance details

Defined in FastDownward.SAS.VariableIndex

Methods

showsPrec :: Int -> VariableIndex -> ShowS #

show :: VariableIndex -> String #

showList :: [VariableIndex] -> ShowS #

toSAS :: VariableIndex -> Text Source #