de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Class DepthFirstStateExplorationStrategy

java.lang.Object

de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies.DepthFirstStateExplorationStrategy

All Implemented Interfaces:

StateExplorationStrategy

public class DepthFirstStateExplorationStrategy
extends Object
implements StateExplorationStrategy

Constructor Summary

Constructors

Constructor and Description
DepthFirstStateExplorationStrategy()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DepthFirstStateExplorationStrategy

public DepthFirstStateExplorationStrategy()

Method Detail

hasUnexploredStates

public boolean hasUnexploredStates()

Specified by:

hasUnexploredStates in interface StateExplorationStrategy

getNextUnexploredState

public ProgramState getNextUnexploredState()

Specified by:

getNextUnexploredState in interface StateExplorationStrategy

addUnexploredState

public void addUnexploredState(ProgramState state,
                               boolean isMaterializedState)

Specified by:

addUnexploredState in interface StateExplorationStrategy