Uses of Class
de.learnlib.acex.AcexAnalyzers.Direction
-
Packages that use AcexAnalyzers.Direction Package Description de.learnlib.acex This package provides interfaces and classes for the abstract counterexample analysis framework described in the paper An Abstract Framework for Counterexample Analysis in Active Automata Learning by Malte Isberner and Bernhard Steffen. -
-
Uses of AcexAnalyzers.Direction in de.learnlib.acex
Methods in de.learnlib.acex that return AcexAnalyzers.Direction Modifier and Type Method Description static AcexAnalyzers.Direction
AcexAnalyzers.Direction. valueOf(String name)
Returns the enum constant of this type with the specified name.static AcexAnalyzers.Direction[]
AcexAnalyzers.Direction. values()
Returns an array containing the constants of this enum type, in the order they are declared.Methods in de.learnlib.acex with parameters of type AcexAnalyzers.Direction Modifier and Type Method Description static Collection<AbstractNamedAcexAnalyzer>
AcexAnalyzers. getAnalyzers(AcexAnalyzers.Direction dir)
-