ca.uqac.lif.ecp.atomic

Class ActionShallowHistory

java.lang.Object

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

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

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

ca.uqac.lif.ecp.atomic.ActionShallowHistory

public class ActionShallowHistory
extends ShallowHistoryFunction<AtomicEvent>

Nested Class Summary

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

ShallowHistoryFunction.FixedSizeWindow

Field Summary

Fields

Modifier and Type	Field and Description
protected static AtomicEvent	s_invalidEvent An event designating an invalid action

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
ActionShallowHistory(Automaton a, int size)

Method Summary

Modifier and Type	Method and Description
MathSet<MathList<AtomicEvent>>	getStartClass() Gets the equivalence class for the empty trace
MathSet<MathList<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

Field Detail

s_invalidEvent

protected static final AtomicEvent s_invalidEvent

An event designating an invalid action

Constructor Detail

ActionShallowHistory

public ActionShallowHistory(Automaton a,
                            int size)

Method Detail

processTransition

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

Specified by:

processTransition in class AutomatonFunction<MathList<AtomicEvent>>

getStartClass

public MathSet<MathList<AtomicEvent>> getStartClass()

Description copied from class: TriagingFunction

Gets the equivalence class for the empty trace

Specified by:

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

Returns:

The class

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object