Function clingo_sys::clingo_assignment_has_conflict
[−]
[src]
pub unsafe extern "C" fn clingo_assignment_has_conflict(
assignment: *const clingo_assignment_t
) -> bool
Check if the given assignment is conflicting.
Parameters:
assignment
- the target assignment
Returns whether the assignment is conflicting