Searched refs:clingo_solve_mode_async (Results 1 – 9 of 9) sorted by relevance
104 …if (!clingo_control_solve(ctl, clingo_solve_mode_async | clingo_solve_mode_yield, NULL, 0, on_even… in main()
569 mode |= _lib.clingo_solve_mode_async
2202 clingo_solve_mode_async = 1, //!< Enable non-blocking search. enumerator
4115 if (asynchronous) { mode |= clingo_solve_mode_async; } in solve()
370 …static_assert(clingo_solve_mode_async == static_cast<clingo_solve_mode_bitset_t>(Clasp::SolveMode_… in solve()
3463 if (lua_toboolean(L, -1)) { handle->mode |= clingo_solve_mode_async; } in solve()3485 if (handle->mode & clingo_solve_mode_async) { in solve()
315 clingo_solve_mode_async = 1, //!< Enable non-blocking search.
3886 int n = (clingo_solve_mode_async) <= 0; in _cffi_const_clingo_solve_mode_async()3887 …*o = (unsigned long long)((clingo_solve_mode_async) | 0); /* check that clingo_solve_mode_async i… in _cffi_const_clingo_solve_mode_async()
3115 int n = (clingo_solve_mode_async) <= 0; in _cffi_const_clingo_solve_mode_async()3116 …*o = (unsigned long long)((clingo_solve_mode_async) | 0); /* check that clingo_solve_mode_async i… in _cffi_const_clingo_solve_mode_async()