|
Scala
1.2.0.1 |
|||
Field Summary | |
abstract
|
val hedgeInitials: BitSet
inv: hedgeInitials.length == nHedgeNT |
abstract
|
val hedgeTransitions: Array[Set[HedgeRHS]]
|
abstract
|
val isNullable: BitSet
inv: isNullable.length == nHedgeNT |
abstract
|
val nHedgeNT: Int
number of hedge nonterminals |
abstract
|
val nTreeNT: Int
number of tree nonterminals |
abstract
|
val treeInitials: BitSet
inv: treeInitials.length == nTreeNT |
abstract
|
val treeTransitions: Array[Set[TreeRHS]]
|
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 nTreeNT: Int
abstract val nHedgeNT: Int
abstract val treeInitials: BitSet
abstract val hedgeInitials: BitSet
abstract val isNullable: BitSet
abstract val treeTransitions: Array[Set[TreeRHS]]
abstract val hedgeTransitions: Array[Set[HedgeRHS]]
|
Scala
1.2.0.1 |
|||