Clingo.Raw.Propagation

Initialization

propagateInitSolverLiteral :: MonadIO m => PropagateInit -> Literal -> Ptr Literal -> m CBool

propagateInitAddWatch :: MonadIO m => PropagateInit -> Literal -> m CBool

propagateInitSymbolicAtoms :: MonadIO m => PropagateInit -> Ptr SymbolicAtoms -> m CBool

propagateInitTheoryAtoms :: MonadIO m => PropagateInit -> Ptr TheoryAtoms -> m CBool

propagateInitNumberOfThreads :: MonadIO m => PropagateInit -> m CInt

Assignment

assignmentDecisionLevel :: MonadIO m => Assignment -> m Word32

assignmentHasConflict :: MonadIO m => Assignment -> m CBool

assignmentHasLiteral :: MonadIO m => Assignment -> Literal -> m CBool

assignmentLevel :: MonadIO m => Assignment -> Literal -> Ptr Word32 -> m CBool

assignmentDecision :: MonadIO m => Assignment -> Word32 -> Ptr Literal -> m CBool

assignmentIsFixed :: MonadIO m => Assignment -> Literal -> Ptr CBool -> m CBool

assignmentIsTrue :: MonadIO m => Assignment -> Literal -> Ptr CBool -> m CBool

assignmentIsFalse :: MonadIO m => Assignment -> Literal -> Ptr CBool -> m CBool

assignmentTruthValue :: MonadIO m => Assignment -> Literal -> Ptr TruthValue -> m CBool

Propagation

propagateControlThreadId :: MonadIO m => PropagateControl -> m Identifier

propagateControlAssignment :: MonadIO m => PropagateControl -> m Assignment

propagateControlAddLiteral :: MonadIO m => PropagateControl -> Ptr Literal -> m CBool

propagateControlAddWatch :: MonadIO m => PropagateControl -> Literal -> m CBool

propagateControlHasWatch :: MonadIO m => PropagateControl -> Literal -> m CBool

propagateControlRemoveWatch :: MonadIO m => PropagateControl -> Literal -> m ()

propagateControlAddClause :: MonadIO m => PropagateControl -> Ptr Literal -> CSize -> ClauseType -> Ptr CBool -> m CBool

propagateControlPropagate :: MonadIO m => PropagateControl -> Ptr CBool -> m CBool