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 -` ...