public DFAState(EmptyEdgeMap<DFAState> emptyEdges, EmptyEdgeMap<DFAState> emptyContextEdges, ATNConfigSet configs) { this.configs = configs; this.edges = emptyEdges; this.contextEdges = emptyContextEdges; }