Package de.learnlib.example.dfa

Class DFABenchmarks

java.lang.Object

de.learnlib.example.dfa.DFABenchmarks

public final class DFABenchmarks
extends Object

Method Summary

Modifier and Type	Method	Description
static @Nullable 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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

loadLearnLibV2Benchmark

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

loadPots2

public static LearningExample.DFALearningExample<Integer> loadPots2()

loadPots3

public static LearningExample.DFALearningExample<Integer> loadPots3()

loadPeterson2

public static LearningExample.DFALearningExample<Integer> loadPeterson2()

loadPeterson3

public static LearningExample.DFALearningExample<Integer> loadPeterson3()