Searched refs:clingo_warning_t (Results 1 – 5 of 5) sorted by relevance
/dports/math/clingo/clingo-5.5.1/libclingo/ |
H A D | clingo.h | 176 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 D | clingo.hh | 1750 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.cdef | 30 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 D | control.cc | 210 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 D | luaclingo.cc | 3318 static void logger_callback(clingo_warning_t code, char const *message, void *data) { in logger_callback()
|