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

Packages that use FinalStateStrategy

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 FinalStateStrategy in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

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

Modifier and Type	Class and Description
class	NoSuccessorFinalStateStrategy
class	TraceBasedFinalStateStrategy

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

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

Modifier and Type	Class and Description
class	TerminalStatementFinalStateStrategy

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

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

Modifier and Type	Method and Description
FinalStateStrategy	StateSpaceGenerator.getFinalStateStrategy()

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

Modifier and Type	Method and Description
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setFinalStateStrategy(FinalStateStrategy finalStateStrategy)