Home
last modified time | relevance | path

Searched refs:m_poly_table (Results 1 – 2 of 2) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/math/polynomial/
H A Dpolynomial_cache.cpp90 polynomial_table m_poly_table; member
97 …imp(manager & _m):m(_m), m_poly_table(poly_hash_proc(m), poly_eq_proc(m)), m_cached_polys(m), m_al… in imp()
143 polynomial * p_prime = m_poly_table.insert_if_not_there(p); in mk_unique()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/
H A Dpolynomial_cache.cpp90 polynomial_table m_poly_table; member
97 …imp(manager & _m):m(_m), m_poly_table(poly_hash_proc(m), poly_eq_proc(m)), m_cached_polys(m), m_al… in imp()
143 polynomial * p_prime = m_poly_table.insert_if_not_there(p); in mk_unique()