private int GetNFANodeName(NFAGenerator_Parser.NFANode NFANode) { if (!NFANodeNameMap.ContainsKey(NFANode)) { NFANodeNameMap[NFANode] = NewNFANodeID; return(NewNFANodeID++); } else { return(NFANodeNameMap[NFANode]); } }
private List <NFAGenerator_Parser.NFANode> GetEpsilonClosure(NFAGenerator_Parser.NFANode NFANode) { return(GetEpsilonClosure(new NFAGenerator_Parser.NFANode[] { NFANode }.ToList())); }