de.rwth.i2.attestor.stateSpaceGeneration

Interface StateExplorationStrategy

All Known Implementing Classes:

DepthFirstStateExplorationStrategy, TargetBasedStateExplorationStrategy, TraceBasedStateExplorationStrategy

public interface StateExplorationStrategy

Method Summary

Modifier and Type	Method and Description
void	addUnexploredState(ProgramState state, boolean isMaterializedState)
ProgramState	getNextUnexploredState()
boolean	hasUnexploredStates()

Method Detail

hasUnexploredStates

boolean hasUnexploredStates()

getNextUnexploredState

ProgramState getNextUnexploredState()

addUnexploredState

void addUnexploredState(ProgramState state,
                        boolean isMaterializedState)