FastDownward.SAS.Variable

Documentation

data Variable

Constructors

Variable

Fields

• name :: Text
• domain :: Seq Text
• axiomLayer :: Int

Instances

Show Variable

Defined in FastDownward.SAS.Variable

Methods

showsPrec :: Int -> Variable -> ShowS

show :: Variable -> String

showList :: [Variable] -> ShowS

toSAS :: Variable -> Builder