clingo-0.2.0.0: Haskell bindings to the Clingo ASP solver

Safe HaskellNone
LanguageHaskell2010

Clingo.Raw.ProgramBuilding

Documentation

backendRule :: MonadIO m => Backend -> CBool -> Ptr Atom -> CSize -> Ptr Literal -> CSize -> m CBool Source #

backendWeightRule :: MonadIO m => Backend -> CBool -> Ptr Atom -> CSize -> Weight -> Ptr WeightedLiteral -> CSize -> m CBool Source #

backendMinimize :: MonadIO m => Backend -> Weight -> Ptr WeightedLiteral -> CSize -> m CBool Source #

backendProject :: MonadIO m => Backend -> Ptr Atom -> CSize -> m CBool Source #

backendExternal :: MonadIO m => Backend -> Atom -> ExternalType -> m CBool Source #

backendAssume :: MonadIO m => Backend -> Ptr Literal -> CSize -> m CBool Source #

backendHeuristic :: MonadIO m => Backend -> Atom -> HeuristicType -> CInt -> CUInt -> Ptr Literal -> CSize -> m CBool Source #

backendAcycEdge :: MonadIO m => Backend -> CInt -> CInt -> Ptr Literal -> CSize -> m CBool Source #

backendAddAtom :: MonadIO m => Backend -> Ptr Atom -> m CBool Source #

programBuilderBegin :: MonadIO m => ProgramBuilder -> m CBool Source #

programBuilderAdd :: MonadIO m => ProgramBuilder -> Ptr AstStatement -> m CBool Source #

programBuilderEnd :: MonadIO m => ProgramBuilder -> m CBool Source #