de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Class TargetBasedStateExplorationStrategy

java.lang.Object

de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.TargetBasedStateExplorationStrategy

All Implemented Interfaces:

StateExplorationStrategy

public class TargetBasedStateExplorationStrategy
extends Object
implements StateExplorationStrategy

Constructor Summary

Constructors

Constructor and Description
TargetBasedStateExplorationStrategy(Collection<ProgramState> targetStates, StateSubsumptionStrategy subsumptionStrategy)

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

TargetBasedStateExplorationStrategy

public TargetBasedStateExplorationStrategy(Collection<ProgramState> targetStates,
                                           StateSubsumptionStrategy subsumptionStrategy)

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