public static CDeltaAlgorithm Init(FA g, Int32 c, HashSet <CGraphNode> set)
        {
            //Make some checks on the input arguments

            // Create algorithm
            CDeltaAlgorithm newObjectAlgorithm = new CDeltaAlgorithm(g, c, set);

            return(newObjectAlgorithm);
        }
        public HashSet <CGraphNode> Start()
        {
            GraphLibrary.CGraphNode Qprime, Q;
            CGraphEdge    e;
            CCharRangeSet set;
            //q0 ← -closure({n0});
            HashSet <CGraphNode> q0 = CEclosureAlgorithm.Init(m_NFA, new HashSet <CGraphNode>()
            {
                m_NFA.M_Initial
            }).Start();

            m_NFA.UpdateAlphabet();

            // Create DFA
            m_DFA = new FA();

            // DEBUG
            m_reporting.AddDFA(0, m_DFA);

            m_DFAInfo        = new FAGraphQueryInfo(m_DFA, FA.m_FAINFOKEY);
            m_configurations = new CConfigurations(m_DFA, m_NFA);
            m_configurations.CreateDFANode(q0);

            //WorkList ← { q0};
            m_workList.Enqueue(q0);

            while (m_workList.Count != 0)
            {
                HashSet <CGraphNode> q = m_workList.Dequeue();
                Q = m_configurations.GetDFANode(q);

                // ********* DEBUG *************
                CSubsetConstructionReporting.IterationRecord cRecord = m_reporting.AddIteration(0, q, Q);

                // for each NFA alphabet character
                foreach (CCharRange range in m_NFA.M_Alphabet)
                {
                    foreach (Int32 i in range)
                    {
                        CDeltaAlgorithm      delta       = CDeltaAlgorithm.Init(m_NFA, i, q);
                        HashSet <CGraphNode> deltaResult = delta.Start();
                        CEclosureAlgorithm   eClosure    = CEclosureAlgorithm.Init(m_NFA, deltaResult);
                        HashSet <CGraphNode> qprime      = eClosure.Start();
                        if (qprime.Count != 0)
                        {
                            Qprime = m_configurations.GetDFANode(qprime);
                            if (Qprime == null)
                            {
                                m_workList.Enqueue(qprime);
                                Qprime = m_configurations.CreateDFANode(qprime);
                            }
                            // Check if an edge between Q and Qprime alredy exists
                            e = m_DFA.Edge(Q, Qprime);
                            if (e == null)
                            {
                                e   = m_DFA.AddGraphEdge <CGraphEdge, CGraphNode>(Q, Qprime, GraphType.GT_DIRECTED);
                                set = new CCharRangeSet(false);
                                m_DFAInfo.SetDFAEdgeTransitionCharacterSet(e, set);
                            }
                            else
                            {
                                set = m_DFAInfo.GetDFAEdgeTransitionCharacterSet(e);
                            }
                            set.AddRange(i);

                            // ********** DEBUG ************
                            CSubsetConstructionReporting.EdgeRecord charRecord = cRecord.AddEdgeRecord(deltaResult, qprime, e);
                            charRecord.AddCharacterCode(i);
                        }
                    }
                }
            }
            m_DFA.UpdateAlphabet();
            m_DFA.RegisterGraphPrinter(new FAGraphVizPrinter(m_DFA, new UOPCore.Options <ThompsonOptions>()));
            m_DFA.Generate(@"mergeDFA.dot", true);

            // DEBUG
            m_reporting.Report("SubsetREPORT.txt");
            return(null);
        }