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>
-
-
Constructor Summary
Constructors Constructor Description RandomDeterministicAutomatonGenerator(Random random, Collection<? extends I> inputs, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A automaton)
-
Method Summary
All Methods Instance Methods Concrete Methods 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
-
-
-
-
Constructor Detail
-
RandomDeterministicAutomatonGenerator
public RandomDeterministicAutomatonGenerator(Random random, Collection<? extends I> inputs, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A automaton)
-
-