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. ← DEFAULT
printTotalTimetrue to print total time in the header of the root. ← 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. ← DEFAULT
highlightCurSteptrue to highlight current process. ← DEFAULT
false to suppress highlighting.
highlightColor"red" ← DEFAULT
See 2.3-5 for available colors.
highlightStyle"default" ← DEFAULT
See 2.3-5 for available styles.
TODO
TODO
generated by GAPDoc2HTML