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 assignmentliteral
- the literallevel
- the resulting level
Returns whether the call was successful