Function clingo_sys::clingo_assignment_size

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

! The number of (positive) literals in the assignment. ! ! @param[in] assignment the target ! @return the number of literals