Home
last modified time | relevance | path

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

/dports/math/z3/z3-z3-4.8.13/src/math/polynomial/
H A Dpolynomial_cache.cpp41 unsigned m_result_sz; member
49 m_result_sz(0), in psc_chain_entry()
65 unsigned m_result_sz; member
71 m_result_sz(0), in factor_entry()
106 if (entry->m_result_sz != 0) in del_psc_chain_entry()
107 m_allocator.deallocate(sizeof(polynomial*)*entry->m_result_sz, entry->m_result); in del_psc_chain_entry()
113 if (entry->m_result_sz != 0) in del_factor_entry()
161 for (unsigned i = 0; i < old_entry->m_result_sz; i++) { in psc_chain()
168 entry->m_result_sz = sz; in psc_chain()
188 for (unsigned i = 0; i < old_entry->m_result_sz; i++) { in factor()
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/polynomial/
H A Dpolynomial_cache.cpp41 unsigned m_result_sz; member
49 m_result_sz(0), in psc_chain_entry()
65 unsigned m_result_sz; member
71 m_result_sz(0), in factor_entry()
106 if (entry->m_result_sz != 0) in del_psc_chain_entry()
107 m_allocator.deallocate(sizeof(polynomial*)*entry->m_result_sz, entry->m_result); in del_psc_chain_entry()
113 if (entry->m_result_sz != 0) in del_factor_entry()
161 for (unsigned i = 0; i < old_entry->m_result_sz; i++) { in psc_chain()
168 entry->m_result_sz = sz; in psc_chain()
188 for (unsigned i = 0; i < old_entry->m_result_sz; i++) { in factor()
[all …]