Function clingo_sys::clingo_model_is_true

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 target
• literal the literal to lookup
• result whether the literal is true

Returns whether the call was successful