|
Scala
1.4.0.3 |
|||
Field 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 java/lang/Object-class |
clone, eq, equals, finalize, getClass, hashCode, ne, notify, notifyAll, synchronized, toString, wait, wait, wait |
Methods inherited from scala/Any-class |
!=, ==, asInstanceOf, isInstanceOf, match |
Methods inherited from scala/ScalaObject-class |
getScalaType |
Field Detail |
abstract val labels: Seq[A]
Method Detail |
def inclusion(dfa1: DetWordAutom[A], dfa2: DetWordAutom[A]): Boolean
|
Scala
1.4.0.3 |
|||