let rhs (n : nfa) (q : state) (c : int) : stateset =
  let mapping = all_delta ~create:false n.delta q in
  let res = ref StateSet.empty in
  let process_transition q cs =
    if Charset.mem cs c then res := StateSet.add q !res
  in
    Hashtbl.iter process_transition mapping;
    !res