Home
last modified time | relevance | path

Searched refs:m_lbl2hash (Results 1 – 3 of 3) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dmam.cpp69 svector<signed char> m_lbl2hash; // cache: lbl_id -> hash member in __anon9e1320940111::label_hasher
76 m_lbl2hash[lbl_id] = c & (APPROX_SET_CAPACITY - 1); in mk_lbl_hash()
82 if (lbl_id >= m_lbl2hash.size()) in operator ()()
83 m_lbl2hash.resize(lbl_id + 1, -1); in operator ()()
84 if (m_lbl2hash[lbl_id] == -1) { in operator ()()
87 SASSERT(m_lbl2hash[lbl_id] >= 0); in operator ()()
88 return m_lbl2hash[lbl_id]; in operator ()()
94 for (unsigned i = 0; i < m_lbl2hash.size(); i++) { in display()
95 if (m_lbl2hash[i] != -1) { in display()
100 out << i << " -> " << static_cast<int>(m_lbl2hash[i]); in display()
/dports/math/z3/z3-z3-4.8.13/src/sat/smt/
H A Dq_mam.cpp95 svector<signed char> m_lbl2hash; // cache: lbl_id -> hash member in q::label_hasher
102 m_lbl2hash[lbl_id] = c & (APPROX_SET_CAPACITY - 1); in mk_lbl_hash()
108 if (lbl_id >= m_lbl2hash.size()) in operator ()()
109 m_lbl2hash.resize(lbl_id + 1, -1); in operator ()()
110 if (m_lbl2hash[lbl_id] == -1) { in operator ()()
113 SASSERT(m_lbl2hash[lbl_id] >= 0); in operator ()()
114 return m_lbl2hash[lbl_id]; in operator ()()
120 for (unsigned i = 0; i < m_lbl2hash.size(); i++) { in display()
121 if (m_lbl2hash[i] != -1) { in display()
126 out << i << " -> " << static_cast<int>(m_lbl2hash[i]); in display()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dmam.cpp84 svector<signed char> m_lbl2hash; // cache: lbl_id -> hash member in __anon92718def0111::label_hasher
91 m_lbl2hash[lbl_id] = c & (APPROX_SET_CAPACITY - 1); in mk_lbl_hash()
97 if (lbl_id >= m_lbl2hash.size()) in operator ()()
98 m_lbl2hash.resize(lbl_id + 1, -1); in operator ()()
99 if (m_lbl2hash[lbl_id] == -1) { in operator ()()
102 SASSERT(m_lbl2hash[lbl_id] >= 0); in operator ()()
103 return m_lbl2hash[lbl_id]; in operator ()()
109 for (unsigned i = 0; i < m_lbl2hash.size(); i++) { in display()
110 if (m_lbl2hash[i] != -1) { in display()
115 out << i << " -> " << static_cast<int>(m_lbl2hash[i]); in display()