|
Scala 2.1.8
|
class
NondetWordAutom
[ T <: java.lang.Object ]
extends
java.lang.Object with
scala.ScalaObjectConstructor Summary | |
def
this
|
Def Summary | |
final
|
def
containsFinal
( Q : scala.collection.immutable.BitSet )
: scala.Boolean
returns true if the set of states contains at least one final state |
def
default
: scala.Array[scala.collection.immutable.BitSet]
|
|
def
delta
: scala.Array[scala.collection.Map[T,scala.collection.immutable.BitSet]]
|
|
final
|
def
finalTag
( state : scala.Int )
: scala.Int
returns tag of final state |
def
finals
: scala.Array[scala.Int]
|
|
final
|
def
isEmpty
: scala.Boolean
returns true if there are no accepting states |
final
|
def
isFinal
( state : scala.Int )
: scala.Boolean
returns true if the state is final |
def
labels
: scala.Seq[T]
|
|
def
next
( Q : scala.collection.immutable.BitSet , a : T )
: scala.collection.immutable.BitSet
returns a bitset with the next states for given state and label |
|
def
next
( q : scala.Int , a : T )
: scala.collection.immutable.BitSet
returns a bitset with the next states for given state and label |
|
def
nextDefault
( Q : scala.collection.immutable.BitSet )
: scala.collection.immutable.BitSet
|
|
def
nstates
: scala.Int
|
|
override
|
def
toString
: java.lang.String
|
Constructor Detail |
def
this
Def Detail |
def
containsFinal
( Q : scala.collection.immutable.BitSet ) : scala.Boolean
def
default
: scala.Array[scala.collection.immutable.BitSet]
def
delta
: scala.Array[scala.collection.Map[T,scala.collection.immutable.BitSet]]
def
finalTag
( state : scala.Int ) : scala.Int
def
finals
: scala.Array[scala.Int]
def
isEmpty
: scala.Boolean
def
isFinal
( state : scala.Int ) : scala.Boolean
def
labels
: scala.Seq[T]
def
next
( Q : scala.collection.immutable.BitSet , a : T ) : scala.collection.immutable.BitSet
def
next
( q : scala.Int , a : T ) : scala.collection.immutable.BitSet
def
nextDefault
( Q : scala.collection.immutable.BitSet ) : scala.collection.immutable.BitSet
def
nstates
: scala.Int
def
toString
: java.lang.String