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