public class AtomicBoundedRandomGenerator extends BoundedRandomTraceGenerator<AtomicEvent>
| Modifier and Type | Field and Description |
|---|---|
protected AtomicEvent[] |
m_alphabet
The alphabet to pick events from
|
m_numTraces, m_traceLengthm_random| Constructor and Description |
|---|
AtomicBoundedRandomGenerator(java.util.Random random,
int num_traces,
int trace_length,
Alphabet<AtomicEvent> alphabet) |
| Modifier and Type | Method and Description |
|---|---|
protected AtomicEvent |
nextEvent(java.util.Random random)
Generates a new event randomly
|
generateTracesprotected AtomicEvent[] m_alphabet
public AtomicBoundedRandomGenerator(java.util.Random random,
int num_traces,
int trace_length,
Alphabet<AtomicEvent> alphabet)
protected AtomicEvent nextEvent(java.util.Random random)
RandomTraceGeneratornextEvent in class RandomTraceGenerator<AtomicEvent>random - The random number generator used to generate the eventCopyright © Sylvain HallĂ©. All Rights Reserved.