@Override
	public int hashCode() {
		int hash = MurmurHash.initialize(7);
		hash = MurmurHash.update(hash, configs.hashCode());
		hash = MurmurHash.finish(hash, 1);
		return hash;
	}
Get the set of all alts mentioned by all ATN configurations in this
 DFA state.
runtime/Java/src/org/antlr/v4/runtime/dfa/DFAState.java