Skip to main content

parser_get_solver

cvc5_sys::parser

Function parser_get_solver 

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

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