Searched refs:clingo_error_runtime (Results 1 – 11 of 11) sorted by relevance
/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/ |
H A D | _internal.py | 74 _lib.clingo_set_error(_lib.clingo_error_runtime, "error in callback".encode())
|
H A D | theory.py | 140 _lib.clingo_set_error(_lib.clingo_error_runtime, 'error in callback'.encode())
|
H A D | script.py | 64 _lib.clingo_set_error(_lib.clingo_error_runtime, msg.encode())
|
/dports/math/clingo/clingo-5.5.1/libluaclingo/ |
H A D | luaclingo.cc | 73 clingo_set_error(clingo_error_runtime, msg.str().c_str()); in handle_lua_error() 1200 clingo_set_error(clingo_error_runtime, "error during error handling"); in luacall() 2840 clingo_set_error(clingo_error_runtime, "lua stack size exceeded"); in init() 2889 clingo_set_error(clingo_error_runtime, "lua stack size exceeded"); in propagate() 2966 clingo_set_error(clingo_error_runtime, "lua stack size exceeded"); in check() 3004 clingo_set_error(clingo_error_runtime, "lua stack size exceeded"); in decide() 3225 clingo_set_error(clingo_error_runtime, "lua stack size exceeded"); in call() 3880 clingo_set_error(clingo_error_runtime, "lua stack size exceeded"); in init() 3904 clingo_set_error(clingo_error_runtime, "lua stack size exceeded"); in execute() 3925 clingo_set_error(clingo_error_runtime, "lua stack size exceeded"); in callable() [all …]
|
/dports/math/clingo/clingo-5.5.1/examples/c/ |
H A D | propagator.c | 56 clingo_set_error(clingo_error_runtime, "more threads than states"); in init()
|
/dports/math/clingo/clingo-5.5.1/libclingo/ |
H A D | clingo.h | 143 clingo_error_runtime = 1, //!< errors only detectable at runtime like invalid input enumerator
|
H A D | clingo.hh | 1739 Runtime = clingo_error_runtime, 2224 case clingo_error_runtime: { throw std::runtime_error(msg); } in handle_error() 2278 … catch (std::runtime_error const &e) { clingo_set_error(clingo_error_runtime, e.what()); return; } in handle_cxx_error()
|
/dports/math/clingo/clingo-5.5.1/libclingo/src/ |
H A D | control.cc | 145 … { g_lastException = std::current_exception(); g_lastCode = clingo_error_runtime; } in handleError() 202 case clingo_error_runtime: { return "runtime error"; } in clingo_error_string()
|
/dports/math/clingo/clingo-5.5.1/libpyclingo/ |
H A D | _clingo.cdef | 11 clingo_error_runtime = 1, //!< errors only detectable at runtime like invalid input
|
H A D | _clingo.c | 3662 int n = (clingo_error_runtime) <= 0; in _cffi_const_clingo_error_runtime() 3663 …*o = (unsigned long long)((clingo_error_runtime) | 0); /* check that clingo_error_runtime is an i… in _cffi_const_clingo_error_runtime()
|
/dports/math/clingo/clingo-5.5.1/app/pyclingo/ |
H A D | _clingo.c | 2891 int n = (clingo_error_runtime) <= 0; in _cffi_const_clingo_error_runtime() 2892 …*o = (unsigned long long)((clingo_error_runtime) | 0); /* check that clingo_error_runtime is an i… in _cffi_const_clingo_error_runtime()
|