Searched defs:labels_in (Results 1 – 2 of 2) sorted by relevance
1573 transition::transition (const int_set &labels_in, state *to_in, in transition()
1571 transition::transition (const int_set &labels_in, state *to_in, in transition()