Clingo.Inspection.Ground

Documentation

newtype TermId

Constructors

TermId

Fields

• termId :: Identifier

Instances

Eq TermId

Methods

(==) :: TermId -> TermId -> Bool

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

Ord TermId

Methods

compare :: TermId -> TermId -> Ordering

(<) :: TermId -> TermId -> Bool

(<=) :: TermId -> TermId -> Bool

(>) :: TermId -> TermId -> Bool

(>=) :: TermId -> TermId -> Bool

max :: TermId -> TermId -> TermId

min :: TermId -> TermId -> TermId

Show TermId

Methods

showsPrec :: Int -> TermId -> ShowS

show :: TermId -> String

showList :: [TermId] -> ShowS

newtype ElementId

Constructors

ElementId

Fields

• elementId :: Identifier

Instances

Eq ElementId

Methods

(==) :: ElementId -> ElementId -> Bool

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

Ord ElementId

Methods

compare :: ElementId -> ElementId -> Ordering

(<) :: ElementId -> ElementId -> Bool

(<=) :: ElementId -> ElementId -> Bool

(>) :: ElementId -> ElementId -> Bool

(>=) :: ElementId -> ElementId -> Bool

max :: ElementId -> ElementId -> ElementId

min :: ElementId -> ElementId -> ElementId

Show ElementId

Methods

showsPrec :: Int -> ElementId -> ShowS

show :: ElementId -> String

showList :: [ElementId] -> ShowS

data AspifStmt s

Constructors

GRule Bool [Atom s] [Literal s]

GWeightedRule Bool [Atom s] Natural [WeightedLiteral s]

GMinimize Natural [WeightedLiteral s]

GProject [Atom s]

GExternal (Atom s) ExternalType

GAssume [Literal s]

GHeuristic (Atom s) HeuristicType Integer Natural [Literal s]

GAcycEdge Node Node [Literal s]

GTheoryTermNumber TermId Integer

GTheoryTermString TermId Text

GTheoryTermTuple TermId [TermId]

GTheoryTermSet TermId [TermId]

GTheoryTermList TermId [TermId]

GTheoryTermFunction TermId TermId [TermId]

GTheoryElement ElementId [TermId] [Literal s]

GTheoryAtom (Maybe (Atom s)) TermId [ElementId]

GTheoryAtomGuard (Maybe (Atom s)) TermId [ElementId] TermId TermId

registerGroundObserver :: (Bool -> IOSym s ()) -> (AspifStmt s -> IOSym s ()) -> Clingo s ()