|
Scala
1.3.0.4 |
|||
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 |
abstract val nstates: Int
abstract val labels: Set[A]
abstract val finals: Map[Int,Int]
abstract val delta: (Int) => Map[A,List[Int]]
abstract val default: Array[List[Int]]
Method Detail |
final def isFinal(state: Int): Boolean
final def finalTag(state: Int): Int
final def containsFinal(Q: Set[Int]): Boolean
final def isEmpty: Boolean
|
Scala
1.3.0.4 |
|||