Function clingo_sys::clingo_assignment_level
[−]
[src]
pub unsafe extern "C" fn clingo_assignment_level(
assignment: *mut clingo_assignment_t,
literal: clingo_literal_t,
level: *mut u32
) -> bool
Determine the decision level of a given literal.
Parameters:
assignment
the target assignmentliteral
the literallevel
the resulting level
Returns whether the call was successful