Searched defs:asserted_formulas (Results 1 – 2 of 2) sorted by relevance
32 asserted_formulas::asserted_formulas(ast_manager & m, smt_params & sp, params_ref const& p): in asserted_formulas() function in asserted_formulas
31 asserted_formulas::asserted_formulas(ast_manager & m, smt_params & sp, params_ref const& p): in asserted_formulas() function in asserted_formulas