Searched refs:m_class_size (Results 1 – 12 of 12) sorted by relevance
37 n->m_class_size = 1; in init()81 SASSERT(m_class_size == 1); in del_eh()202 SASSERT(this != m_root || class_size == m_class_size); in check_invariant()351 n->m_class_size = 1; in set_capacity()
66 … unsigned m_class_size; //!< Size of the equivalence class if the enode is the root. variable162 SASSERT(m_class_size == 1); in mark_as_interpreted()234 return m_class_size; in get_class_size()
555 r2->m_class_size += r1->m_class_size; in add_eq()912 r2->m_class_size -= r1->m_class_size; in undo_add_eq()
52 … unsigned m_class_size{ 1 }; // Size of the equivalence class if the enode is the root.177 unsigned class_size() const { return m_class_size; }195 void inc_class_size(unsigned n) { m_class_size += n; }196 void dec_class_size(unsigned n) { m_class_size -= n; }
35 VERIFY(this != m_root || class_size == m_class_size); in invariant()
65 … unsigned m_class_size; //!< Size of the equivalence class if the enode is the root. variable161 SASSERT(m_class_size == 1); in mark_as_interpreted()237 return m_class_size; in get_class_size()
567 r2->m_class_size += r1->m_class_size; in add_eq()923 r2->m_class_size -= r1->m_class_size; in undo_add_eq()
54 … unsigned m_class_size = 1; // Size of the equivalence class if the enode is the root. variable190 unsigned class_size() const { return m_class_size; } in class_size()221 void inc_class_size(unsigned n) { m_class_size += n; } in inc_class_size()222 void dec_class_size(unsigned n) { m_class_size -= n; } in dec_class_size()
80 unsigned m_class_size; member in mbp::term99 m_class_size(1), in term()174 unsigned get_class_size() const {return m_class_size;} in get_class_size()178 m_class_size += b.get_class_size(); in merge_eq_class()180 b.m_class_size = 0; in merge_eq_class()192 m_class_size = curr->get_class_size(); in mk_root()193 curr->m_class_size = 0; in mk_root()