in scala.util.automata
class Inclusion

mixin abstract class Inclusion [ A <: java.lang.Object ]
extends java.lang.Object
with ScalaObject
a fast test of language inclusion between minimal automata. inspired by the AMoRE automata library
author:
Burak

Def Summary
def inclusion ( dfa1 : DetWordAutom , dfa2 : DetWordAutom ) : scala.Boolean
returns true if dfa1 is included in dfa2
def labels : Seq



Def Detail
def inclusion ( dfa1 : DetWordAutom , dfa2 : DetWordAutom ) : scala.Boolean
returns true if dfa1 is included in dfa2

def labels : Seq