ca.uqac.lif.ecp.statechart.atomic

Class AtomicStatechartCayleyGraphFactory<T>

java.lang.Object

ca.uqac.lif.ecp.CayleyGraphFactory<AtomicEvent,T>

ca.uqac.lif.ecp.statechart.atomic.AtomicStatechartCayleyGraphFactory<T>

public class AtomicStatechartCayleyGraphFactory<T>
extends CayleyGraphFactory<AtomicEvent,T>

Nested Class Summary

Nested classes/interfaces inherited from class ca.uqac.lif.ecp.CayleyGraphFactory

CayleyGraphFactory.VertexEventTracePair

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Set<AtomicEvent>	m_possibleEvents The set of atomic events that will be used as the alphabet

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

MAX_ITERATIONS

Constructor Summary

Constructors

Constructor and Description
AtomicStatechartCayleyGraphFactory(Statechart<AtomicEvent> s)

Method Summary

Modifier and Type	Method and Description
protected java.util.Set<AtomicEvent>	getNextEvents(Vertex<AtomicEvent> vertex)

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

getGraph, getGraph

Methods inherited from class java.lang.Object

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

Field Detail

m_possibleEvents

protected java.util.Set<AtomicEvent> m_possibleEvents

The set of atomic events that will be used as the alphabet

Constructor Detail

AtomicStatechartCayleyGraphFactory

public AtomicStatechartCayleyGraphFactory(Statechart<AtomicEvent> s)

Method Detail

getNextEvents

protected java.util.Set<AtomicEvent> getNextEvents(Vertex<AtomicEvent> vertex)

Specified by:

getNextEvents in class CayleyGraphFactory<AtomicEvent,T>