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. ← DEFAULT
printTotalTime
true
to print total time in the header of the root. ← 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. ← DEFAULT
highlightCurStep
true
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