in scala/util/automata
class DetWordAutom

abstract class DetWordAutom[T<:Object]()
extends Object
with ScalaObject

A deterministic automaton. States are integers, where 0 is always the only initial state. Transitions are represented in the delta function. A default transitions is one that is taken when no other transition can be taken. All states are reachable. Accepting states are those for which the partial function 'finals' is defined.

Field Summary
abstract val default: Array[Int]
abstract val delta: Array[Map[T,Int]]
abstract val finals: Array[Int]
abstract val nstates: Int

Method Summary
  def isFinal(q: Int): Boolean
  def isSink(q: Int): Boolean
  def next(q: Int, label: T): Int
override def toString(): String

Methods inherited from java/lang/Object-class
clone, eq, equals, finalize, getClass, hashCode, ne, notify, notifyAll, synchronized, wait, wait, wait

Methods inherited from scala/Any-class
!=, ==, asInstanceOf, isInstanceOf, match

Methods inherited from scala/ScalaObject-class
getScalaType

Field Detail

nstates

  abstract val nstates: Int

finals

  abstract val finals: Array[Int]

delta

  abstract val delta: Array[Map[T,Int]]

default

  abstract val default: Array[Int]
Method Detail

isFinal

  def isFinal(q: Int): Boolean

isSink

  def isSink(q: Int): Boolean

next

  def next(q: Int, label: T): Int

toString

  override def toString(): String