Options<'n, 'e> Type
Options for customizing DOT (Graphviz) diagram rendering.
Record fields
| Record Field |
Description
|
Full Usage:
EdgeLabel
Field type: 'e -> string
|
Function to convert edge weight to a display label
|
Full Usage:
HighlightColor
Field type: string
|
Highlight color for nodes/edges
|
|
|
|
|
Function to convert node ID and data to a display label
|
|
Full Usage:
NodeShape
Field type: string
|
Node shape (e.g., "circle", "box", "ellipse")
|