9.21 Latex1

This section explains the Latex1 output functor. The Latex1 output functor assumes that the graph principle is used on the output dimension.

• identifier: output.latex1
• open method: prints a LaTeX file containing all known edges (and known edge labels and node labels) of the directed acyclic graph on the output dimension, and all known dominance edges. Ghosts a node if either a) it corresponds to word . or b) its set of incoming edge labels is non-empty and a subset of {dummy, del}. Ghosts edges and dominance edges labeled with a label in {root, root1, root2, dummy, del}.
• close method: does nothing

Notice that the Latex1 output functor is able to print labeled dominance edges only if the graph principle is used on the output dimension (accessing labeled dominance edges requires the downL feature). Otherwise, it can only to print unlabeled dominance edges.

Compared with the Latex output functor (Latex), Latex1 adds the following features:

• it includes dominance edges
• it ghosts nodes
• it ghosts edges