in scala/util/automata
class DetWordAutom

abstract class DetWordAutom()
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 type T_label
abstract val default: PartialFunction[Int,Int]
abstract val delta: (Int) => Map[T_label,Int]
abstract val finals: PartialFunction[Int,Int]
abstract val nstates: Int

Method Summary
override def toString(): String

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

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

Methods inherited from scala/ScalaObject-class
getType

Field Detail

T_label

  abstract type T_label

nstates

  abstract val nstates: Int

finals

  abstract val finals: PartialFunction[Int,Int]

delta

  abstract val delta: (Int) => Map[T_label,Int]

default

  abstract val default: PartialFunction[Int,Int]
Method Detail

toString

  override def toString(): String