public void ShowAlfabet(List <Lista_ER> alfabet, string name) { string text = "digraph H {\n" + "aHtmlTable [\n shape = plaintext\n" + "label =<\n" + "<table border = '0' cellborder = '1' color = 'blue' cellspacing = '0'>\n"; for (int f = 0; f < fila; f++) { text += "<tr>"; for (int c = 0; c < columna; c++) { text += "<td>" + table_matriz[f, c] + "</td>"; } text += "</tr>\n"; } text += "</table>\n" + ">];\n" + "}"; //Console.WriteLine(text); Graficar_AFN g = new Graficar_AFN(); g.graficar(text, name); }
public void graph(string name) { string text = "digraph " + name + " {\n"; text += "\trankdir=LR;" + "\n"; text += "\tgraph [label=\"" + name + "\", labelloc=t, fontsize=18]; \n"; text += "\tnode [style = filled];"; text += "\tnode [shape=point];inicio;"; text += "\n"; text += "\tnode [shape=circle];" + "\n"; for (int i = 0; i < Description_AFD.Count; i++) { text += "\n"; text += "\t"; text += Description_AFD.ElementAt(i).Description_graphviz(i); } for (int i = 0; i < Table_States.Count; i++) { if (Table_States.ElementAt(i).final == true) { text += "\n"; text += "\t"; text += Table_States.ElementAt(i).Name_Char + "[shape=doublecircle];"; } } text += "\n }"; Graficar_AFN g = new Graficar_AFN(); g.graficar(text, name); }
public void graph(string name) { string texto = "digraph " + name + " {\n"; texto += "\trankdir=LR;" + "\n"; texto += "\tgraph [label=\"" + name + "\", labelloc=t, fontsize=18]; \n"; texto += "\tnode [style = filled];"; foreach (Estado e in this.States) { texto += " " + e.Identifier; } texto += ";" + "\n"; texto += "\tnode [shape=circle];" + "\n"; texto += "\tnode [shape=point];inicio;\n" + " inicio -> "+ this.Initial.Identifier + " [label=\"inicio\"];" + "\n"; List <string> duplicados = new List <string>(); List <Estado> FiltroEstados = new List <Estado>(); List <Trancision> FiltroTancisiones = new List <Trancision>(); Trancision transicion = new Trancision(); foreach (Estado e in this.States) { Estado ee = e; List <Trancision> trancisiones = e.Transitions; foreach (Trancision t in trancisiones) { if (duplicados.Find(x => x.Equals(t.Begin.Identifier + " -> " + t.End.Identifier + " [label=\"" + t.Symbol.getEtiqueta() + "\"];")) == null) { transicion = t; FiltroTancisiones.Add(t); duplicados.Add(t.Begin.Identifier + " -> " + t.End.Identifier + " [label=\"" + t.Symbol.getEtiqueta() + "\"];"); texto += "\t" + t.Begin.Identifier + " -> " + t.End.Identifier + " [label=\"" + t.Symbol.getEtiqueta() + "\"];" + "\n"; } } //ee.Transitions = FiltroTancisiones; FiltroEstados.Add(ee); FiltroTancisiones = new List <Trancision>(); } texto += transicion.End.Identifier + "[shape=doublecircle]"; texto += "}"; // this.States = FiltroEstados; Graficar_AFN niu = new Graficar_AFN(); niu.graficar(texto, name); }