Here we include a list of all layouts.
An abstract layout defines a style for displaying the progress. This style can be modified via certain layout options.
See Section 4.4 for a technical in-depth explanation.
This is the default layout used by the progress printer. It is a more user-friendly limited version of the tree layout.
printID
true
to print id of process in the header.
false
to suppress id printing. \(\leftarrow\) DEFAULT
printTotalTime
true
to print total time in the header of the root. \(\leftarrow\) DEFAULT
false
to suppress total time.
printETA
true
to print eta (expected time of arrival/completion) in the header of the root.
false
to suppress eta. \(\leftarrow\) DEFAULT
highlightCurStep
true
to highlight current process. \(\leftarrow\) DEFAULT
false
to suppress highlighting.
highlightColor
"red"
\(\leftarrow\) DEFAULT
See 2.3-5 for available colors.
highlightStyle
"default"
\(\leftarrow\) DEFAULT
See 2.3-5 for available styles.
TODO
TODO
generated by GAPDoc2HTML