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