de.learnlib.examples.dfa

Class ExampleKeylock

java.lang.Object

de.learnlib.examples.DefaultLearningExample<I,Boolean,DFA<?,I>>

de.learnlib.examples.DefaultLearningExample.DefaultDFALearningExample<Integer>

de.learnlib.examples.dfa.ExampleKeylock

All Implemented Interfaces:

LearningExample<Integer,Boolean,DFA<?,Integer>>, LearningExample.DFALearningExample<Integer>

public class ExampleKeylock
extends DefaultLearningExample.DefaultDFALearningExample<Integer>

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.examples.DefaultLearningExample

DefaultLearningExample.DefaultDFALearningExample<I>, DefaultLearningExample.DefaultMealyLearningExample<I,D>

Nested classes/interfaces inherited from interface de.learnlib.examples.LearningExample

LearningExample.DFALearningExample<I>, LearningExample.MealyLearningExample<I,O>

Constructor Summary

Constructors

Constructor and Description
ExampleKeylock(int size, boolean cyclical, int additionalSymbols)

Method Summary

Modifier and Type	Method and Description
static CompactDFA<Integer>	createDFA(int size, boolean cyclical, int additionalSymbols)
static ExampleKeylock	createExample(int size, boolean cyclical)
static ExampleKeylock	createExample(int size, boolean cyclical, int additionalSymbols)
String	toString()

Methods inherited from class de.learnlib.examples.DefaultLearningExample

getAlphabet, getReferenceAutomaton

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.examples.LearningExample

getAlphabet, getReferenceAutomaton

Constructor Detail

ExampleKeylock

public ExampleKeylock(int size,
                      boolean cyclical,
                      int additionalSymbols)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

createDFA

public static CompactDFA<Integer> createDFA(int size,
                                            boolean cyclical,
                                            int additionalSymbols)

createExample

public static ExampleKeylock createExample(int size,
                                           boolean cyclical)

createExample

public static ExampleKeylock createExample(int size,
                                           boolean cyclical,
                                           int additionalSymbols)