Skip to main content

parser_next_term

cvc5_sys::parser

Function parser_next_term 

Source 
pub unsafe extern "C" fn parser_next_term(
    parser: *mut InputParser,
    error_msg: *mut *const c_char,
) -> Term
Expand description

Parse and return the next term. Requires setting the logic prior to this point. @param parser The input parser instance. @param error_msg Output parameter for the error message in case of a parse error, NULL if no error occurred. @return The parsed term. NULL if no term was read.