Exemple #1
0
        private void creaAfdRec(Estado e)
        {
            Produccion        nuevaProd;
            List <Produccion> listProd;
            List <Produccion> listProdIguales;
            Arista            ar;
            Estado            estadoNuevo, estadoAux;
            int numPrueba = 0;

            foreach (Produccion p in e.listProd)
            {
//                numPrueba++;
                if (this.idSig == 384)
                {
                    numPrueba = 0;
                }
                if (p.punto < p.listProd.Count)
                {
                    ar = new Arista(p.listProd[p.punto]);
                    //          if (ar.token.GetType().Name.Equals("NoTerm"))
                    //          {
                    listProdIguales = e.regresaListaDePRod(ar.token);
                    if (listProdIguales.Count > 1 /*e.listProd.Exists(a => a.listProd[a.punto].token.Equals(ar.token.token))*/)
                    {
//                             = e.listProd.FindAll(a => a.listProd[a.punto].token.Equals(ar.token.token));
                        listProd = new List <Produccion>();
                        foreach (Produccion prod in listProdIguales)
                        {
                            nuevaProd = new Produccion(prod);
                            nuevaProd.punto++;
                            listProd.Add(nuevaProd);
                        }
                        estadoNuevo = new Estado(listProd, this.idSig++);
                    }
                    else
                    {
                        nuevaProd = new Produccion(p);
                        nuevaProd.punto++;
                        estadoNuevo = new Estado(nuevaProd, this.idSig++);
                    }
                    //           }
                    //           else
                    //           {
                    //               nuevaProd = new Produccion(p);
                    //               nuevaProd.punto++;
                    //               estadoNuevo = new Estado(nuevaProd, this.idSig++);
                    //           }


                    estadoAux = this.buscaEstadosIguales(estadoNuevo);
                    if (estadoAux != null)
                    {
                        this.idSig--;
                        ar.estadoDest = estadoAux;
                        if (!e.listAristas.Exists(a => a.token.token.Equals(ar.token.token) && a.estadoDest.id.Equals(ar.estadoDest.id)))
                        {
                            e.agregaArista(ar);
                        }
                    }
                    else
                    {
                        ar.estadoDest = estadoNuevo;
                        e.agregaArista(ar);
                        this._listEdos.Add(estadoNuevo);
                        this.creaAfdRec(estadoNuevo);
                    }
                }
            }
        }
Exemple #2
0
 /// <summary>
 /// Agrega una Arista al estado
 /// </summary>
 /// <param name="ar">Arista nueva</param>
 public void agregaArista(Arista ar)
 {
     this._listAristas.Add(ar);
 }
Exemple #3
0
 /// <summary>
 /// Agrega una Arista al estado
 /// </summary>
 /// <param name="ar">Arista nueva</param>
 public void agregaArista(Arista ar)
 {
     this._listAristas.Add(ar);
 }
Exemple #4
0
        private void creaAfdRec(Estado e)
        {
            Produccion nuevaProd;
            List<Produccion> listProd;
            List<Produccion> listProdIguales;
            Arista ar;
            Estado estadoNuevo,estadoAux;
            int numPrueba = 0;

            foreach (Produccion p in e.listProd)
            {
//                numPrueba++;
                if (this.idSig == 384)
                {
                    numPrueba = 0;
                }
                if (p.punto < p.listProd.Count)
                {
                    ar = new Arista(p.listProd[p.punto]);
          //          if (ar.token.GetType().Name.Equals("NoTerm"))
          //          {
                        listProdIguales = e.regresaListaDePRod(ar.token);
                        if (listProdIguales.Count>1/*e.listProd.Exists(a => a.listProd[a.punto].token.Equals(ar.token.token))*/)
                        {
//                             = e.listProd.FindAll(a => a.listProd[a.punto].token.Equals(ar.token.token));
                            listProd = new List<Produccion>();
                            foreach (Produccion prod in listProdIguales)
                            {
                                nuevaProd = new Produccion(prod);
                                nuevaProd.punto++;
                                listProd.Add(nuevaProd);
                            }
                            estadoNuevo = new Estado(listProd, this.idSig++);
                        }
                        else
                        {
                            nuevaProd = new Produccion(p);
                            nuevaProd.punto++;
                            estadoNuevo = new Estado(nuevaProd, this.idSig++);
                        }
         //           }
         //           else
         //           {
         //               nuevaProd = new Produccion(p);
         //               nuevaProd.punto++;
         //               estadoNuevo = new Estado(nuevaProd, this.idSig++);
         //           }
                    

                    estadoAux = this.buscaEstadosIguales(estadoNuevo);
                    if (estadoAux != null)
                    {
                        this.idSig--;
                        ar.estadoDest = estadoAux;
                        if (!e.listAristas.Exists(a => a.token.token.Equals(ar.token.token) && a.estadoDest.id.Equals(ar.estadoDest.id)))
                        {
                            e.agregaArista(ar);
                        }
                    }
                    else
                    {
                        ar.estadoDest = estadoNuevo;
                        e.agregaArista(ar);
                        this._listEdos.Add(estadoNuevo);
                        this.creaAfdRec(estadoNuevo);
                    }
                }
            }
        }