|
Scala 2
|
class
Inclusion
[ A <: java.lang.Object ]
extends
java.lang.Object with
ScalaObjectDef Summary | |
def
inclusion
( dfa1 : DetWordAutom , dfa2 : DetWordAutom )
: scala.Boolean
returns true if dfa1 is included in dfa2 |
|
def
labels
: Seq
|
Def Detail |
def
inclusion
( dfa1 : DetWordAutom , dfa2 : DetWordAutom ) : scala.Boolean
def
labels
: Seq