Home
last modified time | relevance | path

Searched refs:m_num_theory_terms (Results 1 – 4 of 4) sorted by relevance

/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/
H A Dstatic_features.h99 unsigned_vector m_num_theory_terms; // mapping family_id -> num_terms member
157 …void inc_theory_terms(family_id fid) { m_num_theory_terms.reserve(fid+1, 0); m_num_theory_terms[fi… in inc_theory_terms()
H A Dstatic_features.cpp99 m_num_theory_terms .reset(); in reset()
630 display_family_data(out, "NUM_TERMS", m_num_theory_terms); in display_primitive()
/dports/math/z3/z3-z3-4.8.13/src/ast/
H A Dstatic_features.h99 unsigned_vector m_num_theory_terms; // mapping family_id -> num_terms member
157 …void inc_theory_terms(family_id fid) { m_num_theory_terms.reserve(fid+1, 0); m_num_theory_terms[fi… in inc_theory_terms()
H A Dstatic_features.cpp99 m_num_theory_terms .reset(); in reset()
644 display_family_data(out, "NUM_TERMS", m_num_theory_terms); in display_primitive()