Home
last modified time | relevance | path

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.py74 _lib.clingo_set_error(_lib.clingo_error_runtime, "error in callback".encode())
H A Dtheory.py140 _lib.clingo_set_error(_lib.clingo_error_runtime, 'error in callback'.encode())
H A Dscript.py64 _lib.clingo_set_error(_lib.clingo_error_runtime, msg.encode())
/dports/math/clingo/clingo-5.5.1/libluaclingo/
H A Dluaclingo.cc73 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 Dpropagator.c56 clingo_set_error(clingo_error_runtime, "more threads than states"); in init()
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h143 clingo_error_runtime = 1, //!< errors only detectable at runtime like invalid input enumerator
H A Dclingo.hh1739 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 Dcontrol.cc145 … { 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.cdef11 clingo_error_runtime = 1, //!< errors only detectable at runtime like invalid input
H A D_clingo.c3662 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.c2891 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()