public lattice_edge get_edge(int i_from, int i_to) { var e = itl.edges.FirstOrDefault(x => x.i_from == i_from && x.i_to == i_to); if (e != null) return e; e = new lattice_edge(itl, i_from, i_to); itl.edges.Add(e); return e; }
public tok_display(lattice_edge edge) : this(edge.ComputedText) { this.edge = edge; }
public void add_tok(lattice_edge edge) { sp_toks.Children.Add(new tok_display(edge)); }