Home
last modified time | relevance | path

Searched refs:clingo_error_t (Results 1 – 4 of 4) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h149 typedef int clingo_error_t; typedef
151 CLINGO_VISIBILITY_DEFAULT char const *clingo_error_string(clingo_error_t code);
155 CLINGO_VISIBILITY_DEFAULT clingo_error_t clingo_error_code();
163 CLINGO_VISIBILITY_DEFAULT void clingo_set_error(clingo_error_t code, char const *message);
H A Dclingo.hh1738 enum class ErrorCode : clingo_error_t {
1746 out << clingo_error_string(static_cast<clingo_error_t>(code)); in operator <<()
/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dcontrol.cc66 clingo_error_t code;
100 clingo_error_t g_lastCode;
104 thread_local clingo_error_t g_lastCode;
109 clingo_error_t lastCode;
121 clingo_error_t &tLlastCode() { in tLlastCode()
178 extern "C" void clingo_set_error(clingo_error_t code, char const *message) { in clingo_set_error()
195 extern "C" clingo_error_t clingo_error_code() { in clingo_error_code()
199 extern "C" char const *clingo_error_string(clingo_error_t code) { in clingo_error_string()
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef16 typedef int clingo_error_t;
17 char const *clingo_error_string(clingo_error_t code);
18 clingo_error_t clingo_error_code();
20 void clingo_set_error(clingo_error_t code, char const *message);