net.automatalib.util.automata.random

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

java.lang.Object

net.automatalib.util.automata.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 and Description
protected A	automaton
protected List<? extends I>	inputs
protected RandomUtil	random
protected List<? extends SP>	spList
protected ArrayList<S>	states
protected List<? extends TP>	tpList

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	addStates(int numStates)
void	chooseInitial()
void	chooseIntials(int num)
A	getAutomaton()
protected S	randomDistinctState(int stateIdx)
protected I	randomInput()
protected S	randomState()
protected SP	randomStateProperty()
protected 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 RandomUtil 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 TP randomTransProperty()

randomState

protected S randomState()

randomDistinctState

protected S randomDistinctState(int stateIdx)

randomInput

protected I randomInput()

addStates

public void addStates(int numStates)

randomStateProperty

protected SP randomStateProperty()

chooseInitial

public void chooseInitial()

chooseIntials

public void chooseIntials(int num)