public DFAState(DFA dfa, ATNConfigSet configs) : this(dfa.EmptyEdgeMap, dfa.EmptyContextEdgeMap, configs) { }