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