in scala/util/automata
trait Inclusion

trait Inclusion[A<:Object]()
extends Object
with ScalaObject

a fast test of language inclusion between minimal automata. inspired by the AMoRE automata library
Author:
Burak

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

labels

  abstract val labels: Seq[A]
Method Detail

inclusion

  def inclusion(dfa1: DetWordAutom[A], dfa2: DetWordAutom[A]): Boolean
returns true if dfa1 is included in dfa2