Lines Matching refs:elements_
62 for (size_t i = 0; i < elements_.size(); ++i)
63 delete elements_[i];
72 for (size_t i = 0; i < elements_.size(); ++i)
73 delete elements_[i];
74 elements_.clear();
78 elements_.resize(num_states);
82 elements_[i] = new Element(i);
108 Element* element = elements_[element_id];
125 Element* element = elements_[element_id];
149 if (class_split_[class_id] == elements_[element_id])
150 class_split_[class_id] = elements_[element_id]->next;
233 vector<Element*> elements_;
