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