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