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()
StateGenerator
generateState
in interface StateGenerator