Module de.learnlib.testsupport.example

Package de.learnlib.testsupport.example.vpa

Class ExampleRandomOneSEVPA<I>

java.lang.Object

de.learnlib.testsupport.example.DefaultLearningExample.DefaultOneSEVPALearningExample<I>

de.learnlib.testsupport.example.vpa.ExampleRandomOneSEVPA<I>

All Implemented Interfaces:

LearningExample<I,net.automatalib.automaton.vpa.OneSEVPA<?,I>>, LearningExample.OneSEVPALearningExample<I>

public class ExampleRandomOneSEVPA<I>
extends DefaultLearningExample.DefaultOneSEVPALearningExample<I>

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.testsupport.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 net.automatalib.automaton.UniversalAutomaton<?,I,?,?,?>>

Constructor Summary

Constructors

Constructor	Description
ExampleRandomOneSEVPA(Random random, net.automatalib.alphabet.VPAlphabet<I> alphabet, int size, double acceptanceProb, double initialRetTransProb)

Method Summary

Modifier and Type	Method	Description
static <I> ExampleRandomOneSEVPA<I>	createExample(Random random, net.automatalib.alphabet.VPAlphabet<I> alphabet, int size, double acceptanceProb, double initialRetTransProb)

Methods inherited from class de.learnlib.testsupport.example.DefaultLearningExample.DefaultOneSEVPALearningExample

getAlphabet, getReferenceAutomaton

Methods inherited from class java.lang.Object

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

Constructor Detail

ExampleRandomOneSEVPA

public ExampleRandomOneSEVPA(Random random,
                             net.automatalib.alphabet.VPAlphabet<I> alphabet,
                             int size,
                             double acceptanceProb,
                             double initialRetTransProb)

Method Detail

createExample

public static <I> ExampleRandomOneSEVPA<I> createExample(Random random,
                                                         net.automatalib.alphabet.VPAlphabet<I> alphabet,
                                                         int size,
                                                         double acceptanceProb,
                                                         double initialRetTransProb)