Module dev.civl.gmc

Package dev.civl.gmc.concurrent

Class ConcurrentNode<STATE>

java.lang.Object

dev.civl.gmc.concurrent.ConcurrentNode<STATE>

public class ConcurrentNode<STATE>
extends Object

Constructor Summary

Constructors

Constructor	Description
ConcurrentNode(STATE state)

Method Summary

Modifier and Type	Method	Description
boolean	fullyExplored()	Indicate whether a STATE is fully explored (all its descendants have been visited).
ProvisoValue	getProviso()
STATE	getState()
boolean	onStack(int tid)	Indicate whether a STATE is on the stack of the thread with certain id.
void	setFullyExplored(boolean value)	Set "fullyExplored" field of a STATE to a certain boolean value.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ConcurrentNode

public ConcurrentNode(STATE state)

Method Details

onStack

public boolean onStack(int tid)

Indicate whether a STATE is on the stack of the thread with certain id.

Parameters:

tid - The unique identifier of a thread.

state - The given state.

Returns:

true if state is on the stack of the thread(id).

fullyExplored

public boolean fullyExplored()

Indicate whether a STATE is fully explored (all its descendants have been visited). This is the same with telling whether a state is colored 'blue' in algorithm2 in Larrman 's paper.

Parameters:

state - The given state.

Returns:

true if all state is fully explored.

setFullyExplored

public void setFullyExplored(boolean value)

Set "fullyExplored" field of a STATE to a certain boolean value.

Parameters:

state - The given state.

The - Value that is set to the "fully explored" flag of a state.

getState

public STATE getState()

getProviso

public ProvisoValue getProviso()