Function clingo_sys::clingo_propagate_init_assignment

source · 
pub unsafe extern "C" fn clingo_propagate_init_assignment(
    init: *const clingo_propagate_init_t
) -> *const clingo_assignment_t
Expand description

! Get the top level assignment solver. ! ! @param[in] init the target ! @return the assignment