Scala Library
|
|
abstract
class
NondetWordAutom[T <: AnyRef]
extends
AnyRefValue Summary | |
abstract val
|
default : Array[BitSet] |
abstract val
|
delta : Array[Map[T, BitSet]] |
abstract val
|
finals : Array[Int] |
abstract val
|
labels : Seq[T] |
abstract val
|
nstates : Int |
Method Summary | |
final def
|
containsFinal
(Q : BitSet) : Boolean
returns true if the set of states contains at least one final state
|
final def
|
finalTag
(state : Int) : Int
returns tag of final state
|
final def
|
isEmpty
: Boolean
returns true if there are no accepting states
|
final def
|
isFinal
(state : Int) : Boolean
returns true if the state is final
|
def
|
next
(q : Int, a : T) : BitSet
returns a bitset with the next states for given state and label
|
def
|
next
(Q : BitSet, a : T) : BitSet
returns a bitset with the next states for given state and label
|
def
|
nextDefault (Q : BitSet) : BitSet |
override def
|
toString
: java.lang.String
Returns a string representation of the object.
|
Methods inherited from AnyRef | |
getClass, hashCode, equals, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Value Details |
Method Details |
final
def
isEmpty : Boolean
override
def
toString : java.lang.String
The default representation is platform dependent.
Scala Library
|
|