open
class ProbabilisticAutomatonStyle[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, finalNodeShape: (S, Graphable[S, T, _ <: (GraphStyle)]) => String, edgeLabel: (T, S, S, Graphable[S, T, _ <: (GraphStyle)]) => String) extends AutomatonStyle[S, T]
- Companion
- object