Function clingo_sys::clingo_model_is_true
source · pub unsafe extern "C" fn clingo_model_is_true(
model: *const clingo_model_t,
literal: clingo_literal_t,
result: *mut bool
) -> bool
Expand description
! Check if a program literal is true in a model. ! ! @param[in] model the target ! @param[in] literal the literal to lookup ! @param[out] result whether the literal is true ! @return whether the call was successful