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.
printIDtrue to print id of process in the header.
false to suppress id printing. \(\leftarrow\) DEFAULT
printTotalTimetrue to print total time in the header of the root. \(\leftarrow\) DEFAULT
false to suppress total time.
printETAtrue to print eta (expected time of arrival/completion) in the header of the root.
false to suppress eta. \(\leftarrow\) DEFAULT
highlightCurSteptrue 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