Searched refs:m_reasoned (Results 1 – 4 of 4) sorted by relevance
147 svector<uint64_t> m_reasoned; variable
143 m_reasoned.reset(); in copy()277 m_reasoned[v] = 0; in reset_var()316 m_reasoned.push_back(0); in mk_var()3351 m_reasoned[v]++; in update_lrb_reasoned()
139 svector<uint64_t> m_reasoned; variable
143 m_reasoned.reset();276 m_reasoned[v] = 0;315 m_reasoned.push_back(0);3311 m_reasoned[v]++;