Function clingo_sys::clingo_assignment_level [] [src]

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

Determine the decision level of a given literal.

Parameters:

  • assignment - the target assignment
  • literal - the literal
  • level - the resulting level

Returns whether the call was successful