62     for (size_t i = 0; i < elements_.size(); ++i)  in ~Partition()
63       delete elements_[i];  in ~Partition()  local
72     for (size_t i = 0; i < elements_.size(); ++i)  in Initialize()
73       delete elements_[i];  in Initialize()  local
74     elements_.clear();  in Initialize()
78     elements_.resize(num_states);  in Initialize()
82       elements_[i] = new Element(i);  in Initialize()
108     Element* element = elements_[element_id];  in Add()
125     Element* element = elements_[element_id];  in Move()
149     if (class_split_[class_id] == elements_[element_id])  in SplitOn()
150       class_split_[class_id] = elements_[element_id]->next;  in SplitOn()
233   vector<Element*> elements_;  variable