ca.uqac.lif.ecp.statechart

Class ConfigurationShallowHistory<T extends Event>

java.lang.Object

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

ca.uqac.lif.ecp.statechart.StatechartFunction<T,MathList<U>>

ca.uqac.lif.ecp.statechart.ShallowHistoryFunction<T,Configuration<T>>

ca.uqac.lif.ecp.statechart.ConfigurationShallowHistory<T>

Type Parameters:

T - The type of events in the statechart

public abstract class ConfigurationShallowHistory<T extends Event>
extends ShallowHistoryFunction<T,Configuration<T>>

Triaging function that associates a trace to the list of the last n configurations of the statechart. A configuration includes all the state pointers in the statechart, as well as the values of all its defined state variables.

Author:

Sylvain Hallé

Nested Class Summary

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

ShallowHistoryFunction.FixedSizeWindow

Field Summary

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

m_window

Fields inherited from class ca.uqac.lif.ecp.statechart.StatechartFunction

m_currentVertex, m_statechart

Constructor Summary

Constructors

Constructor and Description
ConfigurationShallowHistory(Statechart<T> a)
ConfigurationShallowHistory(Statechart<T> a, int size)

Method Summary

Modifier and Type	Method and Description
MathSet<MathList<Configuration<T>>>	getStartClass() Gets the equivalence class for the empty trace
MathSet<MathList<Configuration<T>>>	processTransition(Configuration<T> start_state, Transition<T> edge)
java.lang.String	toString()

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

reset

Methods inherited from class ca.uqac.lif.ecp.statechart.StatechartFunction

read

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

getCayleyGraph, getClass

Methods inherited from class java.lang.Object

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

Constructor Detail

ConfigurationShallowHistory

public ConfigurationShallowHistory(Statechart<T> a,
                                   int size)

ConfigurationShallowHistory

public ConfigurationShallowHistory(Statechart<T> a)

Method Detail

processTransition

public MathSet<MathList<Configuration<T>>> processTransition(Configuration<T> start_state,
                                                             Transition<T> edge)

Specified by:

processTransition in class StatechartFunction<T extends Event,MathList<Configuration<T extends Event>>>

getStartClass

public MathSet<MathList<Configuration<T>>> getStartClass()

Description copied from class: TriagingFunction

Gets the equivalence class for the empty trace

Specified by:

getStartClass in class TriagingFunction<T extends Event,MathList<Configuration<T extends Event>>>

Returns:

The class

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object