Home
last modified time | relevance | path

Searched refs:clingo_warning_t (Results 1 – 5 of 5) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h176 typedef int clingo_warning_t; typedef
178 CLINGO_VISIBILITY_DEFAULT char const *clingo_warning_string(clingo_warning_t code);
188 typedef void (*clingo_logger_t)(clingo_warning_t code, char const *message, void *data);
H A Dclingo.hh1750 enum class WarningCode : clingo_warning_t {
1763 out << clingo_warning_string(static_cast<clingo_warning_t>(code)); in operator <<()
3987 }, &data, [](clingo_warning_t code, char const *msg, void *data) { in parse_string()
4002 }, &data, [](clingo_warning_t code, char const *msg, void *data) { in parse_files()
4043 clingo_logger_t f = [](clingo_warning_t code, char const *msg, void *data) { in Control()
4562 inline static void g_logger(clingo_warning_t code, char const *message, void *adata) { in g_logger()
4598 …Detail::handle_error(clingo_parse_term(str, [](clingo_warning_t code, char const *msg, void *data)… in parse_term()
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef30 typedef int clingo_warning_t;
31 char const *clingo_warning_string(clingo_warning_t code);
32 typedef void (*clingo_logger_t)(clingo_warning_t code, char const *message, void *data);
660 extern "Python" void pyclingo_logger_callback(clingo_warning_t code, char const *message, void *dat…
691 extern "Python" void pyclingo_application_logger(clingo_warning_t code, char const *message, void *…
/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dcontrol.cc210 extern "C" char const *clingo_warning_string(clingo_warning_t code) { in clingo_warning_string()
1034 …[logger, data](Warnings code, char const *msg) { logger(static_cast<clingo_warning_t>(code), msg, … in clingo_parse_term()
1664 …, logger_data](Warnings code, char const *msg) { logger(static_cast<clingo_warning_t>(code), msg, … in clingo_ast_parse_string()
1681 …, logger_data](Warnings code, char const *msg) { logger(static_cast<clingo_warning_t>(code), msg, … in clingo_ast_parse_files()
2085 …[logger, data](Warnings code, char const *msg) { logger(static_cast<clingo_warning_t>(code), msg, … in clingo_control_new()
2201 app_.logger(static_cast<clingo_warning_t>(code), message, data_); in log()
/dports/math/clingo/clingo-5.5.1/libluaclingo/
H A Dluaclingo.cc3318 static void logger_callback(clingo_warning_t code, char const *message, void *data) { in logger_callback()