| 
 | 
          Scala 1.3.0.7 | |||
| Field Summary | |
| 
        abstract | val hedgeInitials: BitSetinv: hedgeInitials.length == nHedgeNT | 
| 
        abstract | val hedgeTransitions: (Int) => Set[HedgeRHS]inv: hedgeTransitions.length == nHedgeNT | 
| 
        abstract | val isNullable: BitSetinv: isNullable.length == nHedgeNT | 
| 
        abstract | val nHedgeNT: Intnumber of hedge nonterminals | 
| 
        abstract | val nTreeNT: Intnumber of tree nonterminals | 
| 
        abstract | val treeInitials: BitSetinv: treeInitials.length == nTreeNT | 
| 
        abstract | val treeTransitions: (Int) => Set[TreeRHS]inv: treeTransitions.length == nTreeNT | 
| 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 | 
| Methods inherited from scala/ScalaObject-class | 
| getType | 
| Field Detail | 
abstract val nTreeNT: Int
abstract val nHedgeNT: Int
abstract val treeInitials: BitSet
abstract val hedgeInitials: BitSet
abstract val isNullable: BitSet
abstract val treeTransitions: (Int) => Set[TreeRHS]
abstract val hedgeTransitions: (Int) => Set[HedgeRHS]
| 
 | 
          Scala 1.3.0.7 | |||