3.1.10.3. flow/Printer¶
3.1.10.3.1. Class FlowPrinter
¶
-
class
mod.
FlowPrinter
¶ An object of this class holds information on how derivation graphs with flow are visualised.
-
withFlowLabels
¶ Control whether or not a flow label is appended to each hyperedge label (see also
DGPrinter.pushEdgeLabel()
).- Type
-
pushInOutEdgeLabel
(f)¶ Add another function for in-/out-edge labelling. The result of this function is appended to each label using the edge label separator of the underlying
DGPrinter
. The last argument given to the function isTrue
for the in-edge, andFalse
for the out-edge.
-
popInOutEdgeLabel
()¶ Remove the last pushed in/out edge labelling function.
-