in scala/util/automata
class NondetWordAutom
-
abstract class NondetWordAutom[A <: Alphabet]()
- extends Object
- with ScalaObject
-
0 is always the only initial state
Methods inherited from java/lang/Object-class
|
clone, eq, equals, finalize, getClass, hashCode, notify, notifyAll, synchronized, toString, wait, wait, wait |
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]]
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