Searched refs:Destinations (Results 1 – 1 of 1) sorted by relevance
125 auto &Destinations = Mapping.ToStates; in transition() local128 if ((Destinations & ToSet(mask(To))) == 0) in transition()