Function clingo_sys::clingo_model_is_true [−] [src]

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.

Parameters:

  • model - the target
  • literal - the literal to lookup
  • result - whether the literal is true

Returns whether the call was successful