in scala.util.automata
class Inclusion

mixin abstract class 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

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

def labels : scala.Seq[A]