Skip to main content

cvc5_term_get_sequence_value

cvc5_sys

Function cvc5_term_get_sequence_value 

Source 
pub unsafe extern "C" fn cvc5_term_get_sequence_value(
    term: Cvc5Term,
    size: *mut usize,
) -> *const Cvc5Term
Expand description

Get a sequence value as an array of terms. @note Asserts cvc5_term_is_sequence_value(). @param term The term. @param size The size of the resulting array. @return The representation of a sequence value as a vector of terms.