|
Scala Library
|
|
class
SubsetConstruction[T <: AnyRef](val nfa : NondetWordAutom[T])
extends AnyRef| Value Summary | |
final val
|
_emptyBitSet : BitSet |
final val
|
_initialBitSet
: BitSet
the set {0}
|
final val
|
_sinkBitSet
: BitSet
the set {}
|
| Method Summary | |
def
|
determinize : DetWordAutom[T] |
def
|
selectTag (Q : BitSet, finals : Array[Int]) : Int |
implicit def
|
toOrdered (bs : BitSet) : Ordered[BitSet] |
| Methods inherited from AnyRef | |
| getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
| Methods inherited from Any | |
| ==, !=, isInstanceOf, asInstanceOf |
| Value Details |
final
val
_initialBitSet : BitSet
final
val
_sinkBitSet : BitSet
final
val
_emptyBitSet : BitSet
| Method Details |
|
Scala Library
|
|