Set<ATNState> get states { final states = <ATNState>{}; for (var i = 0; i < configs.length; i++) { states.add(configs[i].state); } return states; }