open
class AutomatonStyle[S, T](id: String, format: String, srcSuffix: String, executable: String, keepDOT: Boolean, fontSize: Int, margin: Double, nodeShape: (S, Graphable[S, T, _ <: (GraphStyle)]) => String, nodeLabel: (S, Graphable[S, T, _ <: (GraphStyle)]) => String, var finalNodeShape: (S, Graphable[S, T, _ <: (GraphStyle)]) => String, edgeLabel: (T, S, S, Graphable[S, T, _ <: (GraphStyle)]) => String, var eEdgeLabel: (S, S, Graphable[S, T, _ <: (GraphStyle)]) => String) extends GraphStyle[S, T]
- Companion
- object