org.maraist.fa.styles
package org.maraist.fa.styles
Type members
Classlikes
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
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
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