Searched refs:clingo_error_success (Results 1 – 6 of 6) sorted by relevance
142 clingo_error_success = 0, //!< successful API calls enumerator
2228 case clingo_error_success: { throw std::runtime_error(msg); } in handle_error()
10 clingo_error_success = 0, //!< successful API calls
3655 int n = (clingo_error_success) <= 0; in _cffi_const_clingo_error_success()3656 …*o = (unsigned long long)((clingo_error_success) | 0); /* check that clingo_error_success is an i… in _cffi_const_clingo_error_success()
201 case clingo_error_success: { return "success"; } in clingo_error_string()
2884 int n = (clingo_error_success) <= 0; in _cffi_const_clingo_error_success()2885 …*o = (unsigned long long)((clingo_error_success) | 0); /* check that clingo_error_success is an i… in _cffi_const_clingo_error_success()