Function clingo_sys::clingo_control_load [−] [src]

pub unsafe extern "C" fn clingo_control_load(
    control: *mut clingo_control_t, 
    file: *const c_char
) -> bool

Extend the logic program with a program in a file.

Parameters:

  • control - the target
  • file - path to the file

Returns whether the call was successful; might set one of the following error codes:

  • ::clingo_error_bad_alloc
  • ::clingo_error_runtime if parsing or checking fails