|
Scala
1.3.0.9 |
|||
| 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, notify, notifyAll, synchronized, toString, wait, wait, wait |
| Methods inherited from scala/Any-class |
| !=, ==, asInstanceOf, isInstanceOf, match |
| Methods inherited from scala/ScalaObject-class |
| getType |
| Field Detail |
abstract val labels: Seq[A]
| Method Detail |
def inclusion(dfa1: DetWordAutom[A], dfa2: DetWordAutom[A]): Boolean
|
Scala
1.3.0.9 |
|||