public final class RandomEfsmTransitionChooser extends EfsmTransitionChooser
RandomEfsmTransitionChooser
is bounded to the specified EFSM and its
state. Only transitions outgoing from this state may be chosen.Constructor and Description |
---|
RandomEfsmTransitionChooser(Efsm efsm,
EfsmState state,
long seed)
Creates a new RandomEfsmTransitionChooser for the specified EFSM and its state.
|
Modifier and Type | Method and Description |
---|---|
EfsmTransition |
chooseNext()
Chooses and returns a transition for traversing.
|
boolean |
hasNext()
Checks if there is at least one non-chosen transition now.
|
public RandomEfsmTransitionChooser(Efsm efsm, EfsmState state, long seed)
efsm
- the EFSMstate
- the state of the EFSMseed
- an initial seed for the random number generatorpublic EfsmTransition chooseNext()
EfsmState
which this RandomEfsmTransitionChooser is bounded to.chooseNext
in class EfsmTransitionChooser
null
is returned if all choosable
transitions were chosen or there are no choosable transitions at allpublic boolean hasNext()
EfsmTransitionChooser
hasNext
in class EfsmTransitionChooser
true
if there is at least one non-chosen transition. Otherwise returns
false