Skip to main content

parser_get_sm

cvc5_sys::parser

Function parser_get_sm 

Source 
pub unsafe extern "C" fn parser_get_sm(
    parser: *mut InputParser,
) -> *mut SymbolManager
Expand description

Get the associated symbol manager of a given parser. @param parser The parser instance. @return The symbol manager.