public Map<String, IFATransition> getPreciseMatchTransition(
      IFAState state, Collection<IFATransition> transitions) {
    Map<String, IFATransition> res = new HashMap<>();
    for (IFATransition transition : transitions) {
      if (getFromDfaTransitionTable(state.getIndex(), transition.getIndex()) != null) {
        res.put(transition.getAcceptEvent(), transition);
      }
    }
    return res;
  }
get next closure

@param nfaGraph
@param curClosure
@param transfer
@return if empty. return true
iotdb-core/node-commons/src/main/java/org/apache/iotdb/commons/path/fa/dfa/graph/DFAGraph.java