Function clingo_sys::clingo_assignment_trail_end

pub unsafe extern "C" fn clingo_assignment_trail_end(
    assignment: *const clingo_assignment_t,
    level: u32,
    offset: *mut u32
) -> bool

! Returns the offset following the last literal with the given decision level. ! ! @note This function is the counter part to clingo_assignment_trail_begin(). ! ! @param[in] assignment the target ! @param[in] level the decision level ! @param[out] offset the offset ! @return whether the call was successful