U - The output type of the triaging functionpublic class AutomatonCayleyGraphFactory<U> extends CayleyGraphFactory<AtomicEvent,U>
Caveat emptor: the transition function of the automaton must be total.
CayleyGraphFactory.VertexEventTracePair| Modifier and Type | Field and Description |
|---|---|
protected Alphabet<AtomicEvent> |
m_alphabet |
MAX_ITERATIONS| Constructor and Description |
|---|
AutomatonCayleyGraphFactory(Alphabet<AtomicEvent> alphabet) |
| Modifier and Type | Method and Description |
|---|---|
protected java.util.Set<AtomicEvent> |
getNextEvents(Vertex<AtomicEvent> vertex) |
getGraph, getGraphprotected Alphabet<AtomicEvent> m_alphabet
public AutomatonCayleyGraphFactory(Alphabet<AtomicEvent> alphabet)
protected java.util.Set<AtomicEvent> getNextEvents(Vertex<AtomicEvent> vertex)
getNextEvents in class CayleyGraphFactory<AtomicEvent,U>Copyright © Sylvain HallĂ©. All Rights Reserved.