in scala.util.automata
trait Inclusion

`abstract trait` Inclusion [A <: java.lang.Object]
  `extends` java.lang.Object
  `with` scala.ScalaObject

  A fast test of language inclusion between minimal automata. inspired by the AMoRE automata library

Author:
  Burak Emir
Version:
  1.0

Val Summary
`abstract` | `val` labels : scala.Seq[A]

Def Summary
| `def` inclusion (dfa1: scala.util.automata.DetWordAutom[A], dfa2: scala.util.automata.DetWordAutom[A]) : scala.Boolean Returns true if dfa1 is included in dfa2.

Val Detail

`abstract val` labels : scala.Seq[A]

Def Detail

`def` inclusion (dfa1: scala.util.automata.DetWordAutom[A], dfa2: scala.util.automata.DetWordAutom[A]): scala.Boolean

  Returns true if dfa1 is included in dfa2.

Parameters:
  `dfa1 -` ...
Parameters:
  `dfa2 -` ...