|
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 |
|||