Home | History | Annotate | Download | only in fullscreen

Lines Matching refs:destination

221       State destination = transition_table_[source][event];
222       state_transitions_[source][destination].event = static_cast<Event>(event);
223       state_transitions_[source][destination].state = destination;
224       state_transitions_[source][destination].distance = 1;
601     State destination,
606   if (state_transitions_[source][destination].state == STATE_INVALID) {
620           next_state_candidate, destination, search_limit - 1);
630     state_transitions_[source][destination] = result;
633   return state_transitions_[source][destination];