clingo-0.2.0.0: Haskell bindings to the Clingo ASP solver

Safe HaskellNone
LanguageHaskell2010

Clingo.Raw.Statistics

Contents

Synopsis

Documentation

statisticsRoot :: MonadIO m => Statistics -> Ptr Word64 -> m CBool Source #

statisticsType :: MonadIO m => Statistics -> Word64 -> Ptr StatisticsType -> m CBool Source #

Array Access

statisticsArraySize :: MonadIO m => Statistics -> Word64 -> Ptr Word64 -> m CBool Source #

statisticsArrayAt :: MonadIO m => Statistics -> Word64 -> CSize -> Ptr Word64 -> m CBool Source #

Map Access

statisticsMapSize :: MonadIO m => Statistics -> Word64 -> Ptr CSize -> m CBool Source #

statisticsMapSubkeyName :: MonadIO m => Statistics -> Word64 -> CSize -> Ptr CString -> m CBool Source #

statisticsMapAt :: MonadIO m => Statistics -> Word64 -> CString -> Ptr Word64 -> m CBool Source #

Value Access

statisticsValueGet :: MonadIO m => Statistics -> Word64 -> Ptr CDouble -> m CBool Source #