Function clingo_sys::clingo_propagate_control_assignment

source · 
pub unsafe extern "C" fn clingo_propagate_control_assignment(
    control: *const clingo_propagate_control_t
) -> *const clingo_assignment_t
Expand description

! Get the assignment associated with the underlying solver. ! ! @param[in] control the target ! @return the assignment