Lines Matching defs:Reach
118 // iff Reach(r) is true where r = Relabel(l). The relabeling is
123 // reach_input) so that the test Reach(r) applies directly to the
132 // Reach(aiter, ...) is true if labels on the input (output) side of
261 // with arc iterator to be passed to Reach.
270 // Can reach this label from current state?
272 bool Reach(Label label) {
280 // Can reach final state (via epsilon transitions) from this state?
287 // Initialize with secondary FST to be used with Reach(Iterator,...).
296 // Can reach any arc iterator label between iterator positions
302 bool Reach(Iterator *aiter, ssize_t aiter_begin,
329 if (label == reach_label || Reach(label)) {
389 // Valid only if compute_weight was true in Reach() call.
