Searched refs:m_num_theory_terms (Results 1 – 4 of 4) sorted by relevance
99 unsigned_vector m_num_theory_terms; // mapping family_id -> num_terms member157 …void inc_theory_terms(family_id fid) { m_num_theory_terms.reserve(fid+1, 0); m_num_theory_terms[fi… in inc_theory_terms()
99 m_num_theory_terms .reset(); in reset()630 display_family_data(out, "NUM_TERMS", m_num_theory_terms); in display_primitive()
99 m_num_theory_terms .reset(); in reset()644 display_family_data(out, "NUM_TERMS", m_num_theory_terms); in display_primitive()