export method
Exports the StateMachine to dot notation which can then be used by xdot to display a diagram of the state machine.
apt install xdot
https://www.graphviz.org/doc/info/lang.html
To visualise the resulting file graph run:
xdot <path>
Implementation
ExportedPages export(String path) {
//var exporter = MermaidExporter(this);
final exporter = SMCatExporter(this);
return exporter.export(path);
}