Skip to main content

term_get_bv_value

cvc5_sys

Function term_get_bv_value 

Source 
pub unsafe extern "C" fn term_get_bv_value(
    term: Term,
    base: u32,
) -> *const c_char
Expand description

Get the string representation of a bit-vector value. @note Asserts cvc5_term_is_bv_value(). @param term The term. @param base 2 for binary, 10 for decimal, and 16 for hexadecimal. @return The string representation of a bit-vector value. @note The returned char* pointer is only valid until the next call to this function.