|
Scala 2.1.8
|
class
Inclusion
[ A <: java.lang.Object ]
extends
java.lang.Object with
scala.ScalaObjectDef 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 |
|
def
labels
: scala.Seq[A]
|
Def Detail |
def
inclusion
( dfa1 : scala.util.automata.DetWordAutom[A] , dfa2 : scala.util.automata.DetWordAutom[A] ) : scala.Boolean
def
labels
: scala.Seq[A]