org.ginsim.service.tool.reg2dyn.htg

Class HTGSimulationQueueState

java.lang.Object

org.ginsim.service.tool.reg2dyn.htg.HTGSimulationQueueState

All Implemented Interfaces:

HTGSimulationQueueItem

public class HTGSimulationQueueState
extends Object
implements HTGSimulationQueueItem

Used to represent the elements in the queue of the HTGSimulation

Constructor Summary

Constructors

Constructor and Description
HTGSimulationQueueState(byte[] state, int index, int low_index) Simple constructor.

Method Summary

Modifier and Type	Method and Description
boolean	containsState(byte[] state)
HierarchicalNode	getInCycle(HierarchicalNodeSet nodeSet, List queue) Retrieve the real SCC containing the state.
int	getIndex()
int	getLow_index()
byte[]	getState()
boolean	isCycle()
void	setInCycle(HTGSimulationQueueSCC newCycleItem) Set the SCC that contains the state.
void	setIndex(int index)
void	setLow_index(int low_index)
void	setState(byte[] state)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

HTGSimulationQueueState

public HTGSimulationQueueState(byte[] state,
                               int index,
                               int low_index)

Simple constructor.

Parameters:

state -

index -

low_index -

updater -

Method Detail

toString

public String toString()

Overrides:

toString in class Object

setIndex

public void setIndex(int index)

Specified by:

setIndex in interface HTGSimulationQueueItem

Parameters:

index - the index to set

getIndex

public int getIndex()

Specified by:

getIndex in interface HTGSimulationQueueItem

Returns:

the index

setLow_index

public void setLow_index(int low_index)

Specified by:

setLow_index in interface HTGSimulationQueueItem

Parameters:

low_index - the low_index to set

getLow_index

public int getLow_index()

Specified by:

getLow_index in interface HTGSimulationQueueItem

Returns:

the low_index

setState

public void setState(byte[] state)

getState

public byte[] getState()

containsState

public boolean containsState(byte[] state)

Specified by:

containsState in interface HTGSimulationQueueItem

Returns:

true if the element contains the state state

isCycle

public boolean isCycle()

Specified by:

isCycle in interface HTGSimulationQueueItem

Returns:

true if it is a cycle, ie. a HTGSimulationQueueSCC

setInCycle

public void setInCycle(HTGSimulationQueueSCC newCycleItem)

Set the SCC that contains the state. Note it could be a discarded SCC after a merge.

Parameters:

newCycleItem -

getInCycle

public HierarchicalNode getInCycle(HierarchicalNodeSet nodeSet,
                                   List queue)

Retrieve the real SCC containing the state.

Parameters:

nodeSet -

queue -

Returns: