Skip to main content

parser_new

cvc5_sys::parser

Function parser_new 

Source 
pub unsafe extern "C" fn parser_new(
    cvc5: *mut Solver,
    sm: *mut SymbolManager,
) -> *mut InputParser
Expand description

Construct a new instance of a cvc5 input parser. @param cvc5 The associated solver instance. @param sm The associated symbol manager instance, contains a symbol table that maps symbols to terms and sorts. Must have a logic that is compatible with the solver. May be NULL to start with and initially empty symbol manager. @return The cvc5 symbol manager instance.