Function clingo_sys::clingo_add_string
source · pub unsafe extern "C" fn clingo_add_string(
string: *const c_char,
result: *mut *const c_char
) -> bool
Expand description
! Internalize a string. ! ! This functions takes a string as input and returns an equal unique string ! that is (at the moment) not freed until the program is closed. ! ! @param[in] string the string to internalize ! @param[out] result the internalized string ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc