FastDownward.SAS.DomainIndex

Documentation

newtype DomainIndex

Constructors

DomainIndex

Fields

• unDomainIndex :: Int

Instances

Eq DomainIndex

Defined in FastDownward.SAS.DomainIndex

Methods

(==) :: DomainIndex -> DomainIndex -> Bool

(/=) :: DomainIndex -> DomainIndex -> Bool

Ord DomainIndex

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

Show DomainIndex

Defined in FastDownward.SAS.DomainIndex

Methods

showsPrec :: Int -> DomainIndex -> ShowS

show :: DomainIndex -> String

showList :: [DomainIndex] -> ShowS

toSAS :: DomainIndex -> Text