|
Scala 2.2.0
|
abstract
trait
Inclusion
[A <: java.lang.Object]
extends
java.lang.Object with
scala.ScalaObjectVal Summary | |
abstract
|
val
labels
: scala.Seq[A]
|
Def Summary | |
def
inclusion
(dfa1: scala.util.automata.DetWordAutom[A], dfa2: scala.util.automata.DetWordAutom[A])
: scala.Boolean
Returns true if dfa1 is included in dfa2. |
Val Detail |
abstract
val
labels
: scala.Seq[A]
Def Detail |
def
inclusion
(dfa1: scala.util.automata.DetWordAutom[A], dfa2: scala.util.automata.DetWordAutom[A]): scala.Boolean
dfa1 -
...
dfa2 -
...