Scala Library
|
|
scala/util/automata/Inclusion.scala
]
trait
Inclusion[A <: AnyRef]
extends
AnyRefValue Summary | |
abstract val
|
labels : Seq[A] |
Method Summary | |
def
|
inclusion
(dfa1 : DetWordAutom[A], dfa2 : DetWordAutom[A]) : Boolean
Returns true if dfa1 is included in dfa2.
|
Methods inherited from AnyRef | |
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Value Details |
Method Details |
def
inclusion(dfa1 : DetWordAutom[A], dfa2 : DetWordAutom[A]) : Boolean
dfa1 -
...dfa2 -
...
Scala Library
|
|