Clingo.Internal.Inspection.Symbolic

Module providing direct access to the C style iterator interface for symbolic atom inspection. A version abstracting this into lists is provided in Symbolic. This module is exported for users who want to build their own iterator abstraction.

Documentation

data SymbolicAtoms s

data SIterator s

symbolicAtomsSize :: (MonadIO m, MonadThrow m) => SymbolicAtoms s -> m Natural

symbolicAtomsBegin :: (MonadIO m, MonadThrow m) => SymbolicAtoms s -> Maybe (Signature s) -> m (SIterator s)

symbolicAtomsEnd :: (MonadIO m, MonadThrow m) => SymbolicAtoms s -> m (SIterator s)

symbolicAtomsNext :: (MonadIO m, MonadThrow m) => SymbolicAtoms s -> SIterator s -> m (SIterator s)

symbolicAtomsIsValid :: (MonadIO m, MonadThrow m) => SymbolicAtoms s -> SIterator s -> m Bool

symbolicAtomsFind :: (MonadIO m, MonadThrow m) => SymbolicAtoms s -> Symbol s -> m (SIterator s)

symbolicAtomsIteratorEq :: (MonadIO m, MonadThrow m) => SymbolicAtoms s -> SIterator s -> SIterator s -> m Bool

symbolicAtomsSymbol :: (MonadIO m, MonadThrow m) => SymbolicAtoms s -> SIterator s -> m (Symbol s)

symbolicAtomsIsFact :: (MonadIO m, MonadThrow m) => SymbolicAtoms s -> SIterator s -> m Bool

symbolicAtomsIsExternal :: (MonadIO m, MonadThrow m) => SymbolicAtoms s -> SIterator s -> m Bool

symbolicAtomsLiteral :: (MonadIO m, MonadThrow m) => SymbolicAtoms s -> SIterator s -> m (AspifLiteral s)

symbolicAtomsSignatures :: (MonadIO m, MonadThrow m) => SymbolicAtoms s -> m [Signature s]