class_docstr: This class holds the state for learning a DFA. The current DFA can be
  accessed as the ``dfa`` member of this class. Such a DFA becomes invalid
  as soon as ``learn`` has been called, and should only be used until the
  next call to ``learn``.
  
  Note that many of the DFA methods are on this class, but it is not itself
  a DFA. The reason for this is that it stores mutable state which can cause
  the structure of the learned DFA to change in potentially arbitrary ways,
  making all cached properties become nonsense.
docstr: Returns the string label for state ``i``.
docstr_tok: ["Returns","the","string","label","for","state","``","i","``","."]
code: def label(self, i):
      """Returns the string label for state ``i``."""
      return self.__states[i].label
  
imports: from bisect import bisect_right, insort
  from collections import Counter
  import attr
  from hypothesis.errors import InvalidState
  from hypothesis.internal.conjecture.dfa import DFA, cached
  from hypothesis.internal.conjecture.junkdrawer import IntList, NotFound, SelfOrganisingList, find_integer
label_desc: Use image node_id 4 for calling the LStar obj's underlying member method code with example usage: obj.label(i) and returns: self