Function clingo_sys::clingo_assignment_trail_begin
source · pub unsafe extern "C" fn clingo_assignment_trail_begin(
assignment: *const clingo_assignment_t,
level: u32,
offset: *mut u32
) -> bool
Expand description
! Returns the offset of the decision literal with the given decision level in ! the trail. ! ! @note Literals in the trail are ordered by decision levels, where the first ! literal with a larger level than the previous literals is a decision; the ! following literals with same level are implied by this decision literal. ! Each decision level up to and including the current decision level has a ! valid offset in the trail. ! ! @param[in] assignment the target ! @param[in] level the decision level ! @param[out] offset the offset of the decision literal ! @return whether the call was successful