Searched refs:get_num_asserted_formulas (Results 1 – 8 of 8) sorted by relevance
63 unsigned num = m_kernel.get_num_asserted_formulas(); in display()82 return m_kernel.get_num_asserted_formulas(); in size()
1679 … unsigned get_num_asserted_formulas() const { return m_asserted_formulas.get_num_formulas(); } in get_num_asserted_formulas() function
1408 ptr_vector<expr> formulas(ctx.get_num_asserted_formulas(), ctx.get_asserted_formulas());
6814 unsigned nFormulas = ctx.get_num_asserted_formulas(); in init_search_eh()6835 unsigned nFormulas = ctx.get_num_asserted_formulas(); in init_search_eh()
1672 … unsigned get_num_asserted_formulas() const { return m_asserted_formulas.get_num_formulas(); } in get_num_asserted_formulas() function
7011 unsigned nFormulas = ctx.get_num_asserted_formulas(); in init_search_eh()7033 unsigned nFormulas = ctx.get_num_asserted_formulas(); in init_search_eh()