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