Package net.automatalib.util.automaton.random

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

java.lang.Object

net.automatalib.util.automaton.random.RandomAutomatonGenerator<S,I,T,SP,TP,A>

net.automatalib.util.automaton.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 RandomAutomatonGenerator<S,I,T,SP,TP,A>

Field Summary

Fields inherited from class net.automatalib.util.automaton.random.RandomAutomatonGenerator

automaton, inputs, random, spList, states, tpList

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	addTransitions()

Methods inherited from class net.automatalib.util.automaton.random.RandomAutomatonGenerator

addStates, chooseInitial, chooseInitials, 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()