Clingo.Raw.Model

Inspecting Models

modelType :: MonadIO m => Model -> Ptr ModelType -> m CBool

modelNumber :: MonadIO m => Model -> Ptr Word64 -> m CBool

modelSymbolsSize :: MonadIO m => Model -> ShowFlag -> Ptr CSize -> m CBool

modelSymbols :: MonadIO m => Model -> ShowFlag -> Ptr Symbol -> CSize -> m CBool

modelContains :: MonadIO m => Model -> Symbol -> Ptr CBool -> m CBool

modelCostSize :: MonadIO m => Model -> Ptr CSize -> m CBool

modelCost :: MonadIO m => Model -> Ptr Int64 -> CSize -> m CBool

modelOptimalityProven :: MonadIO m => Model -> Ptr CBool -> m CBool

Adding Clauses

modelContext :: MonadIO m => Model -> Ptr SolveControl -> m CBool

solveControlAddClause :: MonadIO m => SolveControl -> Ptr SymbolicLiteral -> CSize -> m CBool