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