EdgeAnnotatedAutomatonStyle

open
class EdgeAnnotatedAutomatonStyle[S, T, A](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, eEdgeLabel: (S, S, Graphable[S, T, _ <: (GraphStyle)]) => String, var annotationLabel: (A, T, S, S) => String, var eAnnotationLabel: (A, S, S) => String, var initialAnnotationLabel: (A, S) => String) extends AutomatonStyle[S, T]
Companion
object
class GraphStyle[S, T]
class Object
trait Matchable
class Any

Value members

Inherited methods

override
Definition Classes
AutomatonStyle -> GraphStyle -> Any
Inherited from
AutomatonStyle

Concrete fields

var annotationLabel: (A, T, S, S) => String

Inherited fields

Inherited from
GraphStyle