|
Scala
1.3.0.7 |
|||
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 |
abstract type T_label
abstract val nstates: Int
abstract val finals: PartialFunction[Int,Int]
abstract val delta: (Int) => Map[T_label,Int]
abstract val default: PartialFunction[Int,Int]
Method Detail |
override def toString(): String
|
Scala
1.3.0.7 |
|||