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