class DFA[S, T](val stateSeq: IndexedSeq[S], val initialStateIndex: Int, val finalStateIndices: Set[Int], val transitionsSeq: IndexedSeq[T], val transitionsMatrix: Array[Array[Int]]) extends DFA[S, T, AutomatonStyle]
Implementation of DFAs.
- Type Params
- S
The type of all states of the automaton
- T
The type of labels on transitions of the automaton
- Companion
- object
Value members
Concrete methods
def assembleDFA[S0, T0](stateSeq: IndexedSeq[S0], transitionsSeq: IndexedSeq[T0], initialStateIndex: Int, finalStateIndices: Set[Int], transitionsMatrix: Array[Array[Int]]): DFA[S0, T0]
Inherited methods
protected
def afterStatePlot(sb: StringBuilder, style: AutomatonStyle[S, T], stateList: IndexedSeq[S], stateMap: Map[S, Int]): Unit
- Inherited from
- UnindexedFA
Use Graphviz to render this object as specified.
Use Graphviz to render this object as specified.
- Inherited from
- Graphable
Use Graphviz to render this object (in the default format) to the given file.
Use Graphviz to render this object (in the default format) to the given file.
- Inherited from
- Graphable
protected
def internalsToDOT(stateList: IndexedSeq[S], stateMap: Map[S, Int], theLabels: IndexedSeq[T], sb: StringBuilder)(using style: AutomatonStyle[S, T]): Unit
Internal routine used by [[#toDOT]]
. Subclesses may override,
but still call super.internalsToDOT, to extend the Graphviz
representation of a DFA.
Internal routine used by [[#toDOT]]
. Subclesses may override,
but still call super.internalsToDOT, to extend the Graphviz
representation of a DFA.
- Inherited from
- UnindexedFA
protected
Add decorations for an initial state.
Add decorations for an initial state.
- Inherited from
- UnindexedFA
protected
def plotPresentEdge(sb: StringBuilder, style: AutomatonStyle[S, T], stateList: IndexedSeq[S], stateMap: Map[S, Int], si0: Int, s0: S, si1: Int, s1: S): Unit
- Inherited from
- UnindexedFA
protected
def plotPresentEdge(sb: StringBuilder, style: AutomatonStyle[S, T], stateList: IndexedSeq[S], stateMap: Map[S, Int], si0: Int, s0: S, ti0: Int, t: T, si1: Int, s1: S): Unit
- Inherited from
- UnindexedFA
protected
def plotState(sb: StringBuilder, style: AutomatonStyle[S, T], si: Int, s: S, isInitial: Boolean, isFinal: Boolean): Unit
- Inherited from
- UnindexedFA
protected
def plotTransitions(stateList: IndexedSeq[S], stateMap: Map[S, Int], theLabels: IndexedSeq[T], sb: StringBuilder, style: AutomatonStyle[S, T]): Unit
- Inherited from
- UnindexedFA