in scala/util/automata
class NondetWordAutom

abstract class NondetWordAutom[A <: Alphabet]()
extends Object
with ScalaObject

0 is always the only initial state

Field Summary
abstract val default: Array[List[Int]]
abstract val delta: (Int) => Map[A,List[Int]]
abstract val finals: Map[Int,Int]
abstract val labels: Set[A]
abstract val nstates: Int

Method Summary
final def containsFinal(Q: Set[Int]): Boolean
     returns true if the set of states contains at least one final state
final def finalTag(state: Int): Int
     returns tag of final state
final def isEmpty: Boolean
     returns true if there are no finite states
final def isFinal(state: Int): Boolean
     returns true if the state is final

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

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

Field Detail

nstates

  abstract val nstates: Int

labels

  abstract val labels: Set[A]

finals

  abstract val finals: Map[Int,Int]

delta

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

default

  abstract val default: Array[List[Int]]
Method Detail

isFinal

  final def isFinal(state: Int): Boolean
returns true if the state is final

finalTag

  final def finalTag(state: Int): Int
returns tag of final state

containsFinal

  final def containsFinal(Q: Set[Int]): Boolean
returns true if the set of states contains at least one final state

isEmpty

  final def isEmpty: Boolean
returns true if there are no finite states