|
|
Scala 2.3.3
|
abstract
trait
Inclusion
[A <: java.lang.Object]
extends java.lang.Object
with scala.ScalaObject
| Val 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 |
| Def Detail |
def
inclusion
(dfa1: scala.util.automata.DetWordAutom[A], dfa2: scala.util.automata.DetWordAutom[A]): scala.Boolean
dfa1 - ...
dfa2 - ...