Package net.automatalib.util.automaton.random

Class RandomAutomatonGenerator<S,I,T,SP,TP,A extends MutableAutomaton<S,I,T,SP,TP>>

java.lang.Object

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

Direct Known Subclasses:

RandomDeterministicAutomatonGenerator

public class RandomAutomatonGenerator<S,I,T,SP,TP,A extends MutableAutomaton<S,I,T,SP,TP>>
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected A	automaton
protected List<? extends I>	inputs
protected Random	random
protected List<? extends SP>	spList
protected ArrayList<S>	states
protected List<? extends TP>	tpList

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	addStates(int numStates)
void	chooseInitial()
void	chooseInitials(int num)
A	getAutomaton()
protected @Nullable S	randomDistinctState(int stateIdx)
protected @Nullable I	randomInput()
protected @Nullable S	randomState()
protected @Nullable SP	randomStateProperty()
protected @Nullable TP	randomTransProperty()

Methods inherited from class java.lang.Object

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

Field Detail

random

protected final Random random

inputs

protected final List<? extends I> inputs

spList

protected final List<? extends SP> spList

tpList

protected final List<? extends TP> tpList

states

protected final ArrayList<S> states

automaton

protected final A extends MutableAutomaton<S,I,T,SP,TP> automaton

Constructor Detail

RandomAutomatonGenerator

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

Method Detail

getAutomaton

public A getAutomaton()

randomTransProperty

protected @Nullable TP randomTransProperty()

randomState

protected @Nullable S randomState()

randomDistinctState

protected @Nullable S randomDistinctState(int stateIdx)

randomInput

protected @Nullable I randomInput()

addStates

public void addStates(int numStates)

randomStateProperty

protected @Nullable SP randomStateProperty()

chooseInitial

public void chooseInitial()

chooseInitials

public void chooseInitials(int num)