Function clingo_sys::clingo_assignment_max_size
[−]
[src]
pub unsafe extern "C" fn clingo_assignment_max_size(
assignment: *mut clingo_assignment_t
) -> usize
The maximum size of the assignment (if all literals are assigned).
Parameters:
assignment
- the target
Returns the maximum size