Searched refs:SourceState (Results 1 – 1 of 1) sorted by relevance
452 StateId SourceState(StateId s) const;599 typename A::StateId PrunedExpand<A>::SourceState(StateId s) const { in SourceState() function635 SetSourceState(arc.nextstate, SourceState(s)); in Relax()651 if ((cached_source_ != SourceState(s)) || in PruneArc()653 cached_source_ = SourceState(s); in PruneArc()