Lines Matching defs:element
211 struct Element {
212 Element() {}
214 Element(StateId s, Weight w) : state_id(s), weight(w) {}
219 typedef std::forward_list<Element> Subset;
243 Element element(s, Weight::One());
245 subset->push_front(element);
255 Element &element = *siter;
256 final = Plus(final, Times(element.weight,
257 fst_->Final(element.state_id)));
300 // element weights include the input automaton label weights and the
308 Element &src_element = *siter;
313 Element dest_element(arc.nextstate,
334 Element &dest_element = *diter;
340 Element *matching_element = elements_[dest_element.state_id];
348 // Saves element so we can check for duplicate for this state.
357 // Clears element vector.
361 Element &dest_element = *diter;
379 explicit SubsetEqual(vector<Element *> *elements)
392 // Loads first subset elements in element vector.
396 Element &element1 = *iter1;
400 // Checks second subset matches first via element vector.
404 Element &element2 = *iter2;
405 Element *element1 = (*elements_)[element2.state_id];
407 // Mismatch found. Resets element vector before returning false.
420 vector<Element *> *elements_;
433 const Element &element = *iter;
434 int lshift = element.state_id % kPrime;
436 hash ^= element.state_id << lshift ^
437 element.state_id >> rshift ^
438 element.weight.Hash();
451 vector<Element *> elements_;
