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

Safe HaskellSafe
LanguageHaskell2010

FastDownward.SAS.VariableAssignment

Documentation

data VariableAssignment Source #

Constructors

VariableAssignment VariableIndex DomainIndex 
Instances
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 #

Show VariableAssignment Source # 
Instance details

Defined in FastDownward.SAS.VariableAssignment

Methods

showsPrec :: Int -> VariableAssignment -> ShowS #

show :: VariableAssignment -> String #

showList :: [VariableAssignment] -> ShowS #

toSAS :: VariableAssignment -> Text Source #