Uses of Interface
dev.civl.gmc.TraceStepIF

Packages that use TraceStepIF

Package	Description
dev.civl.gmc	The root package of generic model checking is used to construct model checking applications, either sequential or concurrent.
dev.civl.gmc.dpor
dev.civl.gmc.seq	This package provides sequential generic model checking functionality.
dev.civl.gmc.smc	A simple implementation of General Model Checker (GMC) is used by a set of code coverage test cases.

Uses of TraceStepIF in dev.civl.gmc

Methods in dev.civl.gmc that return TraceStepIF

Modifier and Type	Method	Description
TraceStepIF<STATE>	Trace.traceStep(int i)	Returns the i'th trace step of this trace.

Methods in dev.civl.gmc that return types with arguments of type TraceStepIF

Modifier and Type	Method	Description
List<TraceStepIF<STATE>>	Trace.traceSteps()	Returns the list of trace steps contained in this trace.

Methods in dev.civl.gmc with parameters of type TraceStepIF

Modifier and Type	Method	Description
void	Trace.addTraceStep(TraceStepIF<STATE> traceStep)	Adds a new trace step to this trace.

Uses of TraceStepIF in dev.civl.gmc.dpor

Methods in dev.civl.gmc.dpor that return TraceStepIF

Modifier and Type	Method	Description
TraceStepIF<STATE>	DporNode.getTraceStepCache(TRANSITION transition)

Methods in dev.civl.gmc.dpor with parameters of type TraceStepIF

Modifier and Type	Method	Description
void	DporNode.cacheTraceStep(TRANSITION transition, TraceStepIF<STATE> traceStep)	Accepts a transition and the trace step that it entails and caches this association.
Pair<DporNode<STATE,TRANSITION>,Boolean>	DporNodeFactory.getNode(TraceStepIF<STATE> traceStep)	Implements the fly-weight pattern and normalize a state.

Uses of TraceStepIF in dev.civl.gmc.seq

Methods in dev.civl.gmc.seq that return TraceStepIF

Modifier and Type	Method	Description
abstract TraceStepIF<STATE>	StateManager.nextState(STATE state, TRANSITION transition)	Given a state and a transition, returns the trace step after executing the transition at the given state.
abstract TraceStepIF<STATE>	StateManager.tryNextState(STATE state, TRANSITION transition)	Same as StateManager.nextState(STATE,TRANSITION) except if an error is encountered then it is not reported and null is returned

Methods in dev.civl.gmc.seq with parameters of type TraceStepIF

Modifier and Type	Method	Description
SequentialNode<STATE>	SequentialNodeFactory.getNode(TraceStepIF<STATE> traceStep)	Implements the fly-weight pattern and normalize a state.
abstract void	StateManager.normalize(TraceStepIF<STATE> traceStep)	Normalize/simplify a state.
abstract void	StateManager.printTraceStep(STATE sourceState, TraceStepIF<STATE> traceStep)	This method should print the source state id and transitions within this traceStep.

Uses of TraceStepIF in dev.civl.gmc.smc

Classes in dev.civl.gmc.smc that implement TraceStepIF

Modifier and Type	Class	Description
class	TraceStep	The implementation of the interface TraceStepIF used by SMC.

Methods in dev.civl.gmc.smc that return TraceStepIF

Modifier and Type	Method	Description
TraceStepIF<Integer>	SimpleStateManager.nextState(Integer state, String transition)
TraceStepIF<Integer>	SimpleStateManager.tryNextState(Integer state, String transition)

Methods in dev.civl.gmc.smc with parameters of type TraceStepIF

Modifier and Type	Method	Description
void	SimpleStateManager.normalize(TraceStepIF<Integer> traceStep)
void	SimpleStateManager.printTraceStep(Integer sourceState, TraceStepIF<Integer> traceStep)