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