How machine_to_dot renders FSL state groups (&group : [ … ];).
'cluster' (default) — render the subset of groups that form a clean
nesting tree as nested Graphviz subgraph cluster_<group> { … } boxes,
deepest group innermost. A state that genuinely overlaps two groups
(member of two groups where neither nests inside the other) can only be
drawn inside one cluster, so its remaining memberships are shown as
bracketed chips appended to the node label.
'chips' — render every group membership as a chip on the node label
and emit no clusters at all. Useful when cluster boxes clutter the
diagram or when overlap is pervasive.
'off' — ignore groups entirely; byte-for-byte the historical output.
How machine_to_dot renders FSL state groups (
&group : [ … ];).'cluster'(default) — render the subset of groups that form a clean nesting tree as nested Graphvizsubgraph cluster_<group> { … }boxes, deepest group innermost. A state that genuinely overlaps two groups (member of two groups where neither nests inside the other) can only be drawn inside one cluster, so its remaining memberships are shown as bracketed chips appended to the node label.'chips'— render every group membership as a chip on the node label and emit no clusters at all. Useful when cluster boxes clutter the diagram or when overlap is pervasive.'off'— ignore groups entirely; byte-for-byte the historical output.