Lines Matching refs:elements_
57 for (size_t i = 0; i < elements_.size(); ++i)
58 delete elements_[i];
67 for (size_t i = 0; i < elements_.size(); ++i)
68 delete elements_[i];
69 elements_.clear();
73 elements_.resize(num_states);
77 elements_[i] = new Element(i);
103 Element* element = elements_[element_id];
120 Element* element = elements_[element_id];
144 if (class_split_[class_id] == elements_[element_id])
145 class_split_[class_id] = elements_[element_id]->next;
228 vector<Element*> elements_;
