private void _Traverse(AtopBox ab)
{
EWPF.Fixup(ab.Top, _traverseType);
EWPF.Fixup(ab.Bot, _traverseType);
Leaf();
}
private void _Traverse(RootBox rb)
{
EWPF.Fixup(rb.Index, _traverseType);
EWPF.Fixup(rb.Radicand, _traverseType);
Leaf();
}
private void _Traverse(VBox vb)
{
foreach (Box b in vb.Boxes)
{
EWPF.Fixup(b, _traverseType);
}
Leaf();
}
private void _Traverse(AlignmentBox ab)
{
foreach (Box b in ab.Boxes)
{
EWPF.Fixup(b, _traverseType);
}
Leaf();
}
private void _Traverse(AtomBox ab)
{
EWPF.Fixup(ab.Sub, _traverseType);
if (!(ab.Nucleus is CharBox || ab.Nucleus is StringBox))
{
EWPF.Fixup(ab.Nucleus, _traverseType);
}
EWPF.Fixup(ab.Sup, _traverseType);
Leaf();
}