Function clingo_sys::clingo_assignment_decision_level

source · 
pub unsafe extern "C" fn clingo_assignment_decision_level(
    assignment: *const clingo_assignment_t
) -> u32
Expand description

! Get the current decision level. ! ! @param[in] assignment the target assignment ! @return the decision level