Function clingo_sys::clingo_model_extend

pub unsafe extern "C" fn clingo_model_extend(
    model: *mut clingo_model_t, 
    symbols: *const clingo_symbol_t, 
    size: usize
) -> bool

Add symbols to the model.

These symbols will appear in clingo's output, which means that this function is only meaningful if there is an underlying clingo application. Only models passed to the ::clingo_solve_event_callback_t are extendable.

@param[in] model the target @param[in] symbols the symbols to add @param[in] size the number of symbols to add @return whether the call was successful