Function clingo_sys::clingo_assignment_root_level

pub unsafe extern "C" fn clingo_assignment_root_level(
    assignment: *const clingo_assignment_t
) -> u32

! Get the current root level. ! ! Decisions levels smaller or equal to the root level are not backtracked during solving. ! ! @param[in] assignment the target assignment ! @return the decision level