Searched refs:clingo_solve_result_interrupted (Results 1 – 7 of 7) sorted by relevance
105 return (_lib.clingo_solve_result_interrupted & self._rep) != 0
2161 clingo_solve_result_interrupted = 8 enumerator
1404 bool is_interrupted() const { return (res_ & clingo_solve_result_interrupted) != 0; } in is_interrupted()
311 clingo_solve_result_interrupted = 8
3921 int n = (clingo_solve_result_interrupted) <= 0; in _cffi_const_clingo_solve_result_interrupted()3922 …*o = (unsigned long long)((clingo_solve_result_interrupted) | 0); /* check that clingo_solve_resu… in _cffi_const_clingo_solve_result_interrupted()
563 lua_pushboolean(L, res & clingo_solve_result_interrupted); in interrupted()
3150 int n = (clingo_solve_result_interrupted) <= 0; in _cffi_const_clingo_solve_result_interrupted()3151 …*o = (unsigned long long)((clingo_solve_result_interrupted) | 0); /* check that clingo_solve_resu… in _cffi_const_clingo_solve_result_interrupted()