Function clingo_sys::clingo_assignment_decision_level [−] [src]

pub unsafe extern "C" fn clingo_assignment_decision_level(
    assignment: *mut clingo_assignment_t
) -> u32

Get the current decision level.

Parameters:

  • assignment the target assignment

Returns the decision level