Function clingo_sys::clingo_backend_assume
[−]
[src]
pub unsafe extern "C" fn clingo_backend_assume(
backend: *mut clingo_backend_t,
literals: *const clingo_literal_t,
size: usize
) -> bool
Add an assumption directive.
Parameters:
backend
the target backendliterals
the literals to assume (positive literals are true and negative literals false for the next solve call)size
the number of atoms
Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_bad_alloc