Uses of Interface
eu.bandm.tools.lexic.Traversable
Packages that use Traversable
-
Uses of Traversable in eu.bandm.tools.lexic
Classes in eu.bandm.tools.lexic that implement TraversableModifier and TypeClassDescriptionclassDAutomaton<V>Deterministic finite-state labeled automaton.classZAutomaton<V>Zero-overhead automaton that is identical to the behavior of its own initial state.Methods in eu.bandm.tools.lexic with parameters of type TraversableModifier and TypeMethodDescriptionstatic <L,S> boolean Traversable.bisimilar(Traversable<L, S> t1, Traversable<L, S> t2) Checks whether two transition graphs specify indistinguishable observable behavior.