|
Scala
1.3.0.4 |
|||
Field Summary | |
abstract
|
val hedgeInitials: BitSet
inv: hedgeInitials.length == nHedgeNT |
abstract
|
val hedgeTransitions: (Int) => Set[HedgeRHS]
inv: hedgeTransitions.length == nHedgeNT |
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: (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 |
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.4 |
|||