cpg-analysis/de.fraunhofer.aisec.cpg.analysis.fsm/FSM/toDotString

toDotString

fun toDotString(): String

Generates the string representing this FSM in DOT format. This allows a simple visualization of the resulting automaton.