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