Clingo.Internal.Inspection.Theory

Documentation

data TheoryAtoms s

data TermId

data ElementId

data AtomId

data TheoryTermType

pattern TheoryTuple :: TheoryTermType

pattern TheoryList :: TheoryTermType

pattern TheorySet :: TheoryTermType

pattern TheoryFunction :: TheoryTermType

pattern TheoryNumber :: TheoryTermType

pattern TheorySymbol :: TheoryTermType

theoryAtomsSize :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> m Natural

theoryAtomsId :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> Natural -> m (Maybe AtomId)

theoryAtomsTermType :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> TermId -> m TheoryTermType

theoryAtomsTermNumber :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> TermId -> m Integer

theoryAtomsTermName :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> TermId -> m Text

theoryAtomsTermArguments :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> TermId -> m [TermId]

theoryAtomsTermToString :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> TermId -> m Text

theoryAtomsElementTuple :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> ElementId -> m [TermId]

theoryAtomsElementCondition :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> ElementId -> m [AspifLiteral s]

theoryAtomsElementConditionId :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> ElementId -> m (AspifLiteral s)

theoryAtomsElementToString :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> ElementId -> m Text

theoryAtomsAtomTerm :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> AtomId -> m TermId

theoryAtomsAtomElements :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> AtomId -> m [ElementId]

theoryAtomsAtomHasGuard :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> AtomId -> m Bool

theoryAtomsAtomGuard :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> AtomId -> m (Text, TermId)

theoryAtomsAtomLiteral :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> AtomId -> m (AspifLiteral s)

theoryAtomsAtomToString :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> AtomId -> m Text