Package de.learnlib.example.dfa

Class ExampleKeylock

java.lang.Object

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

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

de.learnlib.example.dfa.ExampleKeylock

All Implemented Interfaces:

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

public class ExampleKeylock
extends DefaultLearningExample.DefaultDFALearningExample<Integer>

Nested Class Summary

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

DefaultLearningExample.DefaultDFALearningExample<I>, DefaultLearningExample.DefaultMealyLearningExample<I,D>, DefaultLearningExample.DefaultMooreLearningExample<I,D>, DefaultLearningExample.DefaultOneSEVPALearningExample<I>, DefaultLearningExample.DefaultSBALearningExample<I>, DefaultLearningExample.DefaultSPALearningExample<I>, DefaultLearningExample.DefaultSPMMLearningExample<I,O>, DefaultLearningExample.DefaultSSTLearningExample<I,D>

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

LearningExample.DFALearningExample<I>, LearningExample.MealyLearningExample<I,O>, LearningExample.MooreLearningExample<I,O>, LearningExample.OneSEVPALearningExample<I>, LearningExample.SBALearningExample<I>, LearningExample.SPALearningExample<I>, LearningExample.SPMMLearningExample<I,O>, LearningExample.SSTLearningExample<I,O>, LearningExample.StateLocalInputMealyLearningExample<I,O>, LearningExample.UniversalDeterministicLearningExample<I,A extends UniversalAutomaton<?,I,?,?,?>>

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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.example.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.example.LearningExample

getAlphabet, getReferenceAutomaton

Constructor Detail

ExampleKeylock

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

Method Detail

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)

toString

public String toString()

Overrides:

toString in class Object