DFABenchmarks (LearnLib 0.11.2 API)

public class DFABenchmarks
extends Object

Constructors
Constructor and Description
`DFABenchmarks()`

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`static LearningExample.DFALearningExample<Integer>`	`loadLearnLibV2Benchmark(String name)`
`static LearningExample.DFALearningExample<Integer>`	`loadPeterson2()`
`static LearningExample.DFALearningExample<Integer>`	`loadPeterson3()`
`static LearningExample.DFALearningExample<Integer>`	`loadPots2()`
`static LearningExample.DFALearningExample<Integer>`	`loadPots3()`

public static LearningExample.DFALearningExample<Integer> loadLearnLibV2Benchmark(String name)

public static LearningExample.DFALearningExample<Integer> loadPots2()

public static LearningExample.DFALearningExample<Integer> loadPots3()

public static LearningExample.DFALearningExample<Integer> loadPeterson2()

public static LearningExample.DFALearningExample<Integer> loadPeterson3()

Class DFABenchmarks