scala.util.automata

trait Inclusion

[source: scala/util/automata/Inclusion.scala]

trait Inclusion[A <: AnyRef]
extends AnyRef
A fast test of language inclusion between minimal automata. inspired by the AMoRE automata library
Author
Burak Emir
Version
1.0
Value 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
abstract val labels : Seq[A]

Method Details
def inclusion(dfa1 : DetWordAutom[A], dfa2 : DetWordAutom[A]) : Boolean
Returns true if dfa1 is included in dfa2.
Parameters
dfa1 - ...
dfa2 - ...