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);
}
}
}
}
/// <summary>
/// Agrega una Arista al estado
/// </summary>
/// <param name="ar">Arista nueva</param>
public void agregaArista(Arista ar)
{
this._listAristas.Add(ar);
}
/// <summary>
/// Agrega una Arista al estado
/// </summary>
/// <param name="ar">Arista nueva</param>
public void agregaArista(Arista ar)
{
this._listAristas.Add(ar);
}
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);
}
}
}
}
