public class RandomStartStateGenerator extends java.lang.Object implements StateGenerator
| Constructor and Description |
|---|
RandomStartStateGenerator(SADomain domain,
State seedState)
Will discover the reachable states from which to randomly select.
|
RandomStartStateGenerator(SADomain domain,
State seedState,
HashableStateFactory hashFactory)
Will discover reachable states from which to randomly select.
|
| Modifier and Type | Method and Description |
|---|---|
State |
generateState()
Returns a new state object.
|
public RandomStartStateGenerator(SADomain domain, State seedState)
SimpleHashableStateFactory with identifier dependence.domain - the domain from which states will be drawn.seedState - the seed state from which the reachable states will be found.public RandomStartStateGenerator(SADomain domain, State seedState, HashableStateFactory hashFactory)
domain - the domain from which states will be drawn.seedState - the seed state from which the reachable states will be found.hashFactory - the hash factory to use for the reachability analysis.public State generateState()
StateGeneratorgenerateState in interface StateGenerator