Safe Haskell | None |
---|---|
Language | Haskell2010 |
- controlNew :: MonadIO m => Ptr CString -> CSize -> FunPtr (Logger a) -> Ptr a -> CUInt -> Ptr Control -> m CBool
- controlFree :: MonadIO m => Control -> m ()
- controlLoad :: MonadIO m => Control -> CString -> m CBool
- controlAdd :: MonadIO m => Control -> CString -> Ptr CString -> CSize -> CString -> m CBool
- controlGround :: MonadIO m => Control -> Ptr Part -> CSize -> FunPtr (CallbackGround a) -> Ptr a -> m CBool
- controlSolve :: MonadIO m => Control -> SolveMode -> Ptr SymbolicLiteral -> CSize -> FunPtr (CallbackEvent a) -> Ptr a -> Ptr SolveHandle -> m CBool
- controlCleanup :: MonadIO m => Control -> m CBool
- controlAssignExternal :: MonadIO m => Control -> Symbol -> TruthValue -> m CBool
- controlReleaseExternal :: MonadIO m => Control -> Symbol -> m CBool
- controlRegisterPropagator :: MonadIO m => Control -> Ptr (Propagator a) -> Ptr a -> CBool -> m CBool
- controlStatistics :: MonadIO m => Control -> Ptr Statistics -> m CBool
- controlInterrupt :: MonadIO m => Control -> m ()
- controlClaspFacade :: MonadIO m => Control -> Ptr (Ptr ()) -> m CBool
- controlConfiguration :: MonadIO m => Control -> Ptr Configuration -> m CBool
- controlUseEnumAssumption :: MonadIO m => Control -> CBool -> m CBool
- controlGetConst :: MonadIO m => Control -> CString -> Ptr Symbol -> m CBool
- controlHasConst :: MonadIO m => Control -> CString -> Ptr CBool -> m CBool
- controlSymbolicAtoms :: MonadIO m => Control -> Ptr SymbolicAtoms -> m CBool
- controlTheoryAtoms :: MonadIO m => Control -> Ptr TheoryAtoms -> m CBool
- controlRegisterObserver :: MonadIO m => Control -> Ptr (GroundProgramObserver a) -> Ptr a -> m CBool
- controlBackend :: MonadIO m => Control -> Ptr Backend -> m CBool
- controlProgramBuilder :: MonadIO m => Control -> Ptr ProgramBuilder -> m CBool
Documentation
controlNew :: MonadIO m => Ptr CString -> CSize -> FunPtr (Logger a) -> Ptr a -> CUInt -> Ptr Control -> m CBool Source #
controlFree :: MonadIO m => Control -> m () Source #
Grounding
controlAdd :: MonadIO m => Control -> CString -> Ptr CString -> CSize -> CString -> m CBool Source #
controlGround :: MonadIO m => Control -> Ptr Part -> CSize -> FunPtr (CallbackGround a) -> Ptr a -> m CBool Source #
Solving
controlSolve :: MonadIO m => Control -> SolveMode -> Ptr SymbolicLiteral -> CSize -> FunPtr (CallbackEvent a) -> Ptr a -> Ptr SolveHandle -> m CBool Source #
controlAssignExternal :: MonadIO m => Control -> Symbol -> TruthValue -> m CBool Source #
controlRegisterPropagator :: MonadIO m => Control -> Ptr (Propagator a) -> Ptr a -> CBool -> m CBool Source #
controlStatistics :: MonadIO m => Control -> Ptr Statistics -> m CBool Source #
controlInterrupt :: MonadIO m => Control -> m () Source #
Configuration
controlConfiguration :: MonadIO m => Control -> Ptr Configuration -> m CBool Source #
Program Inspection
controlSymbolicAtoms :: MonadIO m => Control -> Ptr SymbolicAtoms -> m CBool Source #
controlTheoryAtoms :: MonadIO m => Control -> Ptr TheoryAtoms -> m CBool Source #
controlRegisterObserver :: MonadIO m => Control -> Ptr (GroundProgramObserver a) -> Ptr a -> m CBool Source #
Program Modification
controlProgramBuilder :: MonadIO m => Control -> Ptr ProgramBuilder -> m CBool Source #