Function clingo_sys::clingo_model_is_true

pub unsafe extern "C" fn clingo_model_is_true(
    model: *const clingo_model_t, 
    literal: clingo_literal_t, 
    result: *mut bool
) -> bool

! 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