Function clingo_sys::clingo_assignment_is_total

source · 
pub unsafe extern "C" fn clingo_assignment_is_total(
    assignment: *const clingo_assignment_t
) -> bool
Expand description

! Check if the assignment is total, i.e. there are no free literal. ! ! @param[in] assignment the target ! @return wheather the assignment is total