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));
}
