ca.uqac.lif.ecp.atomic

Class AtomicThresholdRandomGenerator

java.lang.Object

ca.uqac.lif.ecp.TraceGenerator<T>

ca.uqac.lif.ecp.RandomTraceGenerator<T>

ca.uqac.lif.ecp.ThresholdRandomTraceGenerator<AtomicEvent>

ca.uqac.lif.ecp.atomic.AtomicThresholdRandomGenerator

public class AtomicThresholdRandomGenerator
extends ThresholdRandomTraceGenerator<AtomicEvent>

Field Summary

Fields

Modifier and Type	Field and Description
protected AtomicEvent[]	m_alphabet The alphabet to pick events from

Fields inherited from class ca.uqac.lif.ecp.ThresholdRandomTraceGenerator

m_coverageThreshold, m_maxTraceLength, m_maxTraces

Fields inherited from class ca.uqac.lif.ecp.RandomTraceGenerator

m_random

Constructor Summary

Constructors

Constructor and Description
AtomicThresholdRandomGenerator(java.util.Random random, CoverageMetric<AtomicEvent,java.lang.Float> metric, int max_trace_length, float threshold, Alphabet<AtomicEvent> alphabet)

Method Summary

Modifier and Type	Method and Description
protected AtomicEvent	nextEvent(java.util.Random random) Generates a new event randomly

Methods inherited from class ca.uqac.lif.ecp.ThresholdRandomTraceGenerator

generateTraces

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

m_alphabet

protected AtomicEvent[] m_alphabet

The alphabet to pick events from

Constructor Detail

AtomicThresholdRandomGenerator

public AtomicThresholdRandomGenerator(java.util.Random random,
                                      CoverageMetric<AtomicEvent,java.lang.Float> metric,
                                      int max_trace_length,
                                      float threshold,
                                      Alphabet<AtomicEvent> alphabet)

Method Detail

nextEvent

protected AtomicEvent nextEvent(java.util.Random random)

Description copied from class: RandomTraceGenerator

Generates a new event randomly

Specified by:

nextEvent in class RandomTraceGenerator<AtomicEvent>

Parameters:

random - The random number generator used to generate the event

Returns:

A new event