Skip to main content

cvc5_mk_string

cvc5_sys

Function cvc5_mk_string 

Source 
pub unsafe extern "C" fn cvc5_mk_string(
    tm: *mut Cvc5TermManager,
    s: *const c_char,
    use_esc_seq: bool,
) -> Cvc5Term
Expand description

Create a String constant from a regular character string which may contain SMT-LIB compatible escape sequences like \u1234 to encode unicode characters. @param tm The term manager instance. @param s The string this constant represents. @param use_esc_seq Determines whether escape sequences in s should. be converted to the corresponding unicode character @return The String constant.