ca.uqac.lif.ecp.atomic

Class TransitionShallowHistory

java.lang.Object

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

ca.uqac.lif.ecp.atomic.AutomatonFunction<MathList<T>>

ca.uqac.lif.ecp.atomic.ShallowHistoryFunction<Edge<AtomicEvent>>

ca.uqac.lif.ecp.atomic.TransitionShallowHistory

public class TransitionShallowHistory
extends ShallowHistoryFunction<Edge<AtomicEvent>>

Nested Class Summary

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

ShallowHistoryFunction.FixedSizeWindow

Field Summary

Fields inherited from class ca.uqac.lif.ecp.atomic.ShallowHistoryFunction

m_window

Fields inherited from class ca.uqac.lif.ecp.atomic.AutomatonFunction

m_automaton, m_currentVertex, s_invalidLabel

Constructor Summary

Constructors

Constructor and Description
TransitionShallowHistory(Automaton a, int size)

Method Summary

Modifier and Type	Method and Description
MathSet<MathList<Edge<AtomicEvent>>>	getStartClass() Gets the equivalence class for the empty trace
MathSet<MathList<Edge<AtomicEvent>>>	processTransition(Edge<AtomicEvent> edge)
java.lang.String	toString()

Methods inherited from class ca.uqac.lif.ecp.atomic.ShallowHistoryFunction

getCayleyGraph, reset

Methods inherited from class ca.uqac.lif.ecp.atomic.AutomatonFunction

read

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

getClass

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitionShallowHistory

public TransitionShallowHistory(Automaton a,
                                int size)

Method Detail

processTransition

public MathSet<MathList<Edge<AtomicEvent>>> processTransition(Edge<AtomicEvent> edge)

Specified by:

processTransition in class AutomatonFunction<MathList<Edge<AtomicEvent>>>

getStartClass

public MathSet<MathList<Edge<AtomicEvent>>> getStartClass()

Description copied from class: TriagingFunction

Gets the equivalence class for the empty trace

Specified by:

getStartClass in class TriagingFunction<AtomicEvent,MathList<Edge<AtomicEvent>>>

Returns:

The class

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object