org.ginsim.service.tool.reg2dyn.htg

Interface HTGSimulationQueueItem

All Known Implementing Classes:

HTGSimulationQueueSCC, HTGSimulationQueueState

public interface HTGSimulationQueueItem

Interface of the items in the queue of the HTG simulation. Can be either a simple state encompassed into an HTGSimulationQueueState or a SCC encompassed into a HTGSimulationQueueSCC As in Tarjan's algorithm each item has an index and a low_index in order to find the head of the SCC. The method containsState() indicates if a state contained in the queue item, ie. if it is the state of the HTGSimulationQueueState, or if it is in the GsStateSet of the HTGSimulationQueueSCC

Method Summary

Modifier and Type	Method and Description
boolean	containsState(byte[] state)
int	getIndex()
int	getLow_index()
boolean	isCycle()
void	setIndex(int index)
void	setLow_index(int low_index)

Method Detail

setIndex

void setIndex(int index)

Parameters:

index - the index to set

getIndex

int getIndex()

Returns:

the index

setLow_index

void setLow_index(int low_index)

Parameters:

low_index - the low_index to set

getLow_index

int getLow_index()

Returns:

the low_index

containsState

boolean containsState(byte[] state)

Returns:

true if the element contains the state state

isCycle

boolean isCycle()

Returns:

true if it is a cycle, ie. a HTGSimulationQueueSCC