Module dev.civl.gmc

Package dev.civl.gmc.concurrent

Class ConcurrentStateManagerIF<STATE,TRANSITION>

java.lang.Object

dev.civl.gmc.seq.StateManager<STATE,TRANSITION>

dev.civl.gmc.concurrent.ConcurrentStateManagerIF<STATE,TRANSITION>

Type Parameters:

STATE - the type used to represent states in the state-transition system being analyzed

TRANSITION - the type used to represent transitions in the state-transition system being analyzed

public abstract class ConcurrentStateManagerIF<STATE,TRANSITION>
extends StateManager<STATE,TRANSITION>

A ConcurrentStateManager is used by a ConcurrentDfsSearcher which encapsulates all methods that are needed by ConcurrentDfsSearcher on STATE.

Constructor Summary

Constructors

Constructor	Description
ConcurrentStateManagerIF()

Method Summary

Modifier and Type	Method	Description
abstract STATE	normalize(STATE traceStep)

Methods inherited from class dev.civl.gmc.seq.StateManager

debug, getEnabledProcesses, getId, getLiveProcesses, getPid, getTransitions, nextState, normalize, printAllStatesLong, printAllStatesShort, printStateLong, printStateShort, printTraceStep, printTraceStepFinalState, printTransitionLong, printTransitionShort, setGetIdFunction, tryNextState

Methods inherited from class java.lang.Object

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

Constructor Details

ConcurrentStateManagerIF

public ConcurrentStateManagerIF()

Method Details

normalize

public abstract STATE normalize(STATE traceStep)