class_docstr: The DFAState object is the core class for pretty much anything. DFAState
  are the vertices of an ordered graph while arcs and transitions are the
  edges.
  
  Arcs are the initial edges, where most DFAStates are not connected and
  transitions are then calculated to connect the DFA state machines that have
  different nonterminals.
class_docstr_tok: ["The","DFAState","object","is","the","core","class","for","pretty","much","anything",".","DFAState","are","the","vertices","of","an","ordered","graph","while","arcs","and","transitions","are","the","edges",".","Arcs","are","the","initial","edges",",","where","most","DFAStates","are","not","connected","and","transitions","are","then","calculated","to","connect","the","DFA","state","machines","that","have","different","nonterminals","."]
code: def add_arc(self, next_, label):
      assert isinstance(label, str)
      assert label not in self.arcs
      assert isinstance(next_, DFAState)
      self.arcs[label] = next_
  
imports: from ast import literal_eval
  from typing import TypeVar, Generic, Mapping, Sequence, Set, Union
  from parso.pgen2.grammar_parser import GrammarParser, NFAState
label_desc: Use image node_id 2 for calling the DFAState obj's underlying member method code with example usage: obj.add_arc(next_, label) without return types