public class AbstractRandomAutomatonGenerator<S,I,T,SP,TP,A extends MutableAutomaton<S,I,T,SP,TP>> extends Object
Type | Property and Description |
---|---|
protected SP |
randomState |
protected TP |
randomTrans |
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 and Description |
---|
AbstractRandomAutomatonGenerator(Random random,
Collection<? extends I> inputs,
Collection<? extends SP> stateProps,
Collection<? extends TP> transProps,
A automaton) |
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() |
protected SP randomStateProperty
protected TP randomTransProperty
protected final RandomUtil random
public AbstractRandomAutomatonGenerator(Random random, Collection<? extends I> inputs, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A automaton)
public A getAutomaton()
protected SP randomStateProperty()
protected TP randomTransProperty()
protected S randomState()
protected S randomDistinctState(int stateIdx)
protected I randomInput()
public void addStates(int numStates)
public void chooseInitial()
public void chooseIntials(int num)
Copyright © 2015. All rights reserved.