net.automatalib.util.automata.random

Class RandomDeterministicAutomatonGenerator<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>

java.lang.Object

net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator<S,I,T,SP,TP,A>

net.automatalib.util.automata.random.RandomDeterministicAutomatonGenerator<S,I,T,SP,TP,A>

public class RandomDeterministicAutomatonGenerator<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>
extends AbstractRandomAutomatonGenerator<S,I,T,SP,TP,A>

Property Summary

Properties inherited from class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator

randomStateProperty, randomTransProperty

Field Summary

Fields inherited from class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator

automaton, inputs, random, spList, states, tpList

Constructor Summary

Constructors

Constructor and Description
RandomDeterministicAutomatonGenerator(Random random, Collection<? extends I> inputs, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A automaton)

Method Summary

Methods

Modifier and Type	Method and Description
void	addTransitions()

Methods inherited from class net.automatalib.util.automata.random.AbstractRandomAutomatonGenerator

addStates, chooseInitial, chooseIntials, getAutomaton, randomDistinctState, randomInput, randomState, randomStateProperty, randomTransProperty

Methods inherited from class java.lang.Object

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

Constructor Detail

RandomDeterministicAutomatonGenerator

public RandomDeterministicAutomatonGenerator(Random random,
                                     Collection<? extends I> inputs,
                                     Collection<? extends SP> stateProps,
                                     Collection<? extends TP> transProps,
                                     A automaton)

Method Detail

addTransitions

public void addTransitions()