org.ginsim.service.tool.reg2dyn.htg

Class HTGSimulationQueueSCC

java.lang.Object

org.ginsim.service.tool.reg2dyn.htg.HTGSimulationQueueSCC

All Implemented Interfaces:

HTGSimulationQueueItem

public class HTGSimulationQueueSCC
extends Object
implements HTGSimulationQueueItem

Constructor Summary

Constructors

Constructor and Description
HTGSimulationQueueSCC(HierarchicalNode scc, int index, int low_index) Simple constructor.

Method Summary

Modifier and Type	Method and Description
boolean	containsState(byte[] state)
int	getIndex()
int	getLow_index()
HierarchicalNode	getSCC()
boolean	isCycle()
void	setIndex(int index)
void	setLow_index(int low_index)
void	setSCC(HierarchicalNode scc)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

HTGSimulationQueueSCC

public HTGSimulationQueueSCC(HierarchicalNode scc,
                             int index,
                             int low_index)

Simple constructor.

Parameters:

stateRestriction -

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

setSCC

public void setSCC(HierarchicalNode scc)

getSCC

public HierarchicalNode getSCC()

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