Function clingo_sys::clingo_propagate_control_assignment
[−]
[src]
pub unsafe extern "C" fn clingo_propagate_control_assignment(
control: *mut clingo_propagate_control_t
) -> *mut clingo_assignment_t
Get the assignment associated with the underlying solver.
Parameters:
control
the target
Returns the assignment