Home
last modified time | relevance | path

Searched refs:clingo_statistics_t (Results 1 – 8 of 8) sorted by relevance

/dports/math/clingo/clingo-5.5.1/examples/c/
H A Dstatistics.c69 clingo_statistics_t *stats; in event_handler()
75 stats = ((clingo_statistics_t **)event)[1]; in event_handler()
138 bool print_statistics(const clingo_statistics_t *stats, uint64_t key, int depth) { in print_statistics()
217 const clingo_statistics_t *stats; in main()
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h1842 typedef struct clingo_statistic clingo_statistics_t; typedef
1849 CLINGO_VISIBILITY_DEFAULT bool clingo_statistics_root(clingo_statistics_t const *statistics, uint64…
1856 CLINGO_VISIBILITY_DEFAULT bool clingo_statistics_type(clingo_statistics_t const *statistics, uint64…
1868 CLINGO_VISIBILITY_DEFAULT bool clingo_statistics_array_size(clingo_statistics_t const *statistics, …
1877 CLINGO_VISIBILITY_DEFAULT bool clingo_statistics_array_at(clingo_statistics_t const *statistics, ui…
1899 CLINGO_VISIBILITY_DEFAULT bool clingo_statistics_map_size(clingo_statistics_t const *statistics, ui…
1908 CLINGO_VISIBILITY_DEFAULT bool clingo_statistics_map_has_subkey(clingo_statistics_t const *statisti…
1927 CLINGO_VISIBILITY_DEFAULT bool clingo_statistics_map_at(clingo_statistics_t const *statistics, uint…
1950 CLINGO_VISIBILITY_DEFAULT bool clingo_statistics_value_get(clingo_statistics_t const *statistics, u…
1958 CLINGO_VISIBILITY_DEFAULT bool clingo_statistics_value_set(clingo_statistics_t *statistics, uint64_…
[all …]
H A Dclingo.hh1536 … statistics_t = typename std::conditional<constant, clingo_statistics_t const *, clingo_statistics…
4139 auto **stats = static_cast<clingo_statistics_t**>(event); in solve()
4485 clingo_statistics_t const *stats = nullptr; in statistics()
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef262 typedef struct clingo_statistic clingo_statistics_t;
263 bool clingo_statistics_root(clingo_statistics_t const *statistics, uint64_t *key);
264 bool clingo_statistics_type(clingo_statistics_t const *statistics, uint64_t key, clingo_statistics_…
265 bool clingo_statistics_array_size(clingo_statistics_t const *statistics, uint64_t key, size_t *size…
266 bool clingo_statistics_array_at(clingo_statistics_t const *statistics, uint64_t key, size_t offset,…
268 bool clingo_statistics_map_size(clingo_statistics_t const *statistics, uint64_t key, size_t *size);
269 bool clingo_statistics_map_has_subkey(clingo_statistics_t const *statistics, uint64_t key, char con…
271 bool clingo_statistics_map_at(clingo_statistics_t const *statistics, uint64_t key, char const *name…
273 bool clingo_statistics_value_get(clingo_statistics_t const *statistics, uint64_t key, double *value…
274 bool clingo_statistics_value_set(clingo_statistics_t *statistics, uint64_t key, double value);
[all …]
H A D_clingo.c14219 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_array_at()
14284 clingo_statistics_t * x0; in _cffi_f_clingo_statistics_array_push()
14349 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_array_size()
14408 clingo_statistics_t * x0; in _cffi_f_clingo_statistics_map_add_subkey()
14484 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_map_at()
14554 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_map_has_subkey()
14624 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_map_size()
14683 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_map_subkey_name()
14748 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_root()
14801 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_type()
[all …]
/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dcontrol.cc966 extern "C" bool clingo_statistics_root(clingo_statistics_t const *stats, uint64_t *ret) { in clingo_statistics_root()
971 extern "C" bool clingo_statistics_type(clingo_statistics_t const *stats, uint64_t key, clingo_stati… in clingo_statistics_type()
976 extern "C" bool clingo_statistics_array_size(clingo_statistics_t const *stats, uint64_t key, size_t… in clingo_statistics_array_size()
981 extern "C" bool clingo_statistics_array_at(clingo_statistics_t const *stats, uint64_t key, size_t i… in clingo_statistics_array_at()
991 extern "C" bool clingo_statistics_map_size(clingo_statistics_t const *stats, uint64_t key, size_t *… in clingo_statistics_map_size()
1006 extern "C" bool clingo_statistics_map_at(clingo_statistics_t const *stats, uint64_t key, char const… in clingo_statistics_map_at()
1016 extern "C" bool clingo_statistics_value_get(clingo_statistics_t const *stats, uint64_t key, double … in clingo_statistics_value_get()
1021 extern "C" bool clingo_statistics_value_set(clingo_statistics_t *stats, uint64_t key, double value)… in clingo_statistics_value_set()
1822 …clingo_statistics_t *stats[] = {static_cast<clingo_statistics_t*>(step), static_cast<clingo_statis… in on_finish()
1984 extern "C" bool clingo_control_statistics(clingo_control_t const *ctl, clingo_statistics_t const **… in clingo_control_statistics()
[all …]
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c13507 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_array_at()
13572 clingo_statistics_t * x0; in _cffi_f_clingo_statistics_array_push()
13637 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_array_size()
13696 clingo_statistics_t * x0; in _cffi_f_clingo_statistics_map_add_subkey()
13772 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_map_at()
13842 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_map_has_subkey()
13912 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_map_size()
13971 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_map_subkey_name()
14036 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_root()
14089 clingo_statistics_t const * x0; in _cffi_f_clingo_statistics_type()
[all …]
/dports/math/clingo/clingo-5.5.1/libluaclingo/
H A Dluaclingo.cc1696 int newStatistics(lua_State *L, clingo_statistics_t const *stats, uint64_t key) { in newStatistics()