FastDownward.SAS.Axiom

Documentation

data Axiom

Constructors

Axiom

Fields

• variable :: VariableIndex
• conditions :: [VariableAssignment]
• pre :: DomainIndex
• post :: DomainIndex

Instances

Show Axiom

Defined in FastDownward.SAS.Axiom

Methods

showsPrec :: Int -> Axiom -> ShowS

show :: Axiom -> String

showList :: [Axiom] -> ShowS

toSAS :: Axiom -> Text