Uses of Interface
de.rwth.i2.attestor.stateSpaceGeneration.StateExplorationStrategy

Packages that use StateExplorationStrategy

Package	Description
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration
de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies
de.rwth.i2.attestor.stateSpaceGeneration	A generic model of a state space and state space generation.

Uses of StateExplorationStrategy in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Classes in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration that implement StateExplorationStrategy

Modifier and Type	Class and Description
class	TargetBasedStateExplorationStrategy
class	TraceBasedStateExplorationStrategy

Uses of StateExplorationStrategy in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Classes in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies that implement StateExplorationStrategy

Modifier and Type	Class and Description
class	DepthFirstStateExplorationStrategy

Uses of StateExplorationStrategy in de.rwth.i2.attestor.stateSpaceGeneration

Methods in de.rwth.i2.attestor.stateSpaceGeneration that return StateExplorationStrategy

Modifier and Type	Method and Description
StateExplorationStrategy	StateSpaceGenerator.getStateExplorationStrategy()

Methods in de.rwth.i2.attestor.stateSpaceGeneration with parameters of type StateExplorationStrategy

Modifier and Type	Method and Description
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setStateExplorationStrategy(StateExplorationStrategy strategy)