Function clingo_sys::clingo_model_is_true
[−]
[src]
pub unsafe extern "C" fn clingo_model_is_true(
model: *mut clingo_model_t,
literal: clingo_literal_t,
result: *mut bool
) -> bool
Check if a program literal is true in a model.
Parameters:
model
the targetliteral
the literal to lookupresult
whether the literal is true
Returns whether the call was successful