ca.uqac.lif.ecp.atomic

Class AutomatonCayleyGraphFactory<U>

java.lang.Object

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

ca.uqac.lif.ecp.atomic.AutomatonCayleyGraphFactory<U>

Type Parameters:

U - The output type of the triaging function

public class AutomatonCayleyGraphFactory<U>
extends CayleyGraphFactory<AtomicEvent,U>

Class that creates a Cayley graph out of a triaging function based on a finite-state automaton.

Caveat emptor: the transition function of the automaton must be total.

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 Alphabet<AtomicEvent>	m_alphabet

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

MAX_ITERATIONS

Constructor Summary

Constructors

Constructor and Description
AutomatonCayleyGraphFactory(Alphabet<AtomicEvent> alphabet)

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_alphabet

protected Alphabet<AtomicEvent> m_alphabet

Constructor Detail

AutomatonCayleyGraphFactory

public AutomatonCayleyGraphFactory(Alphabet<AtomicEvent> alphabet)

Method Detail

getNextEvents

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

Specified by:

getNextEvents in class CayleyGraphFactory<AtomicEvent,U>