Function clingo_sys::clingo_assignment_is_fixed
[−]
[src]
pub unsafe extern "C" fn clingo_assignment_is_fixed(
assignment: *mut clingo_assignment_t,
literal: clingo_literal_t,
is_fixed: *mut bool
) -> bool
Check if a literal has a fixed truth value.
Parameters:
assignment
the target assignmentliteral
the literalis_fixed
whether the literal is fixed
Returns whether the call was successful