Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
newtype DomainIndex Source #
Instances
Eq DomainIndex Source # | |
Defined in FastDownward.SAS.DomainIndex (==) :: DomainIndex -> DomainIndex -> Bool # (/=) :: DomainIndex -> DomainIndex -> Bool # | |
Ord DomainIndex Source # | |
Defined in FastDownward.SAS.DomainIndex compare :: DomainIndex -> DomainIndex -> Ordering # (<) :: DomainIndex -> DomainIndex -> Bool # (<=) :: DomainIndex -> DomainIndex -> Bool # (>) :: DomainIndex -> DomainIndex -> Bool # (>=) :: DomainIndex -> DomainIndex -> Bool # max :: DomainIndex -> DomainIndex -> DomainIndex # min :: DomainIndex -> DomainIndex -> DomainIndex # | |
Show DomainIndex Source # | |
Defined in FastDownward.SAS.DomainIndex showsPrec :: Int -> DomainIndex -> ShowS # show :: DomainIndex -> String # showList :: [DomainIndex] -> ShowS # |
newtype MutexGroup Source #
Instances
Show MutexGroup Source # | |
Defined in FastDownward.SAS.MutexGroup showsPrec :: Int -> MutexGroup -> ShowS # show :: MutexGroup -> String # showList :: [MutexGroup] -> ShowS # |
data VariableAssignment Source #
Instances
Eq VariableAssignment Source # | |
Defined in FastDownward.SAS.VariableAssignment (==) :: VariableAssignment -> VariableAssignment -> Bool # (/=) :: VariableAssignment -> VariableAssignment -> Bool # | |
Ord VariableAssignment Source # | |
Defined in FastDownward.SAS.VariableAssignment 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 # | |
Defined in FastDownward.SAS.VariableAssignment showsPrec :: Int -> VariableAssignment -> ShowS # show :: VariableAssignment -> String # showList :: [VariableAssignment] -> ShowS # |
newtype VariableIndex Source #
Instances
Eq VariableIndex Source # | |
Defined in FastDownward.SAS.VariableIndex (==) :: VariableIndex -> VariableIndex -> Bool # (/=) :: VariableIndex -> VariableIndex -> Bool # | |
Ord VariableIndex Source # | |
Defined in FastDownward.SAS.VariableIndex 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 # | |
Defined in FastDownward.SAS.VariableIndex showsPrec :: Int -> VariableIndex -> ShowS # show :: VariableIndex -> String # showList :: [VariableIndex] -> ShowS # |