net.automatalib.util.automata.random

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

java.lang.Object

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

Direct Known Subclasses:

RandomDeterministicAutomatonGenerator

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

Property Summary

Properties

Type	Property and Description
protected SP	randomState
protected TP	randomTrans

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
AbstractRandomAutomatonGenerator(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	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

Property Detail

randomState

randomTrans

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

AbstractRandomAutomatonGenerator

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

Method Detail

getAutomaton

public A getAutomaton()

randomStateProperty

protected SP randomStateProperty()

randomTransProperty

protected TP randomTransProperty()

randomState

protected S randomState()

randomDistinctState

protected S randomDistinctState(int stateIdx)

randomInput

protected I randomInput()

addStates

public void addStates(int numStates)

chooseInitial

public void chooseInitial()

chooseIntials

public void chooseIntials(int num)