Skip to main content

term_manager_new

cvc5_sys

Function term_manager_new 

Source 
pub unsafe extern "C" fn term_manager_new() -> *mut TermManager
Expand description

Construct a new instance of a cvc5 term manager. @return The cvc5 term manager.