public class AtomicStatechartCayleyGraphFactory<T> extends CayleyGraphFactory<AtomicEvent,T>
CayleyGraphFactory.VertexEventTracePair| 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
|
MAX_ITERATIONS| Constructor and Description |
|---|
AtomicStatechartCayleyGraphFactory(Statechart<AtomicEvent> s) |
| Modifier and Type | Method and Description |
|---|---|
protected java.util.Set<AtomicEvent> |
getNextEvents(Vertex<AtomicEvent> vertex) |
getGraph, getGraphprotected java.util.Set<AtomicEvent> m_possibleEvents
public AtomicStatechartCayleyGraphFactory(Statechart<AtomicEvent> s)
protected java.util.Set<AtomicEvent> getNextEvents(Vertex<AtomicEvent> vertex)
getNextEvents in class CayleyGraphFactory<AtomicEvent,T>Copyright © Sylvain HallĂ©. All Rights Reserved.