code: public void addTransition(Character c, State s) {
          transitions.put(c, s);
          d_recomputeHash = true;
      }
docs: Add a transition to the state. If a transition with the provided character already
  exists, it will be replaced.
  
  @param c The transition character.
  @param s The to-state.