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

Packages that use StateRefinementStrategy

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

Uses of StateRefinementStrategy in de.rwth.i2.attestor.main.scene

Methods in de.rwth.i2.attestor.main.scene that return StateRefinementStrategy

Modifier and Type	Method and Description
StateRefinementStrategy	Strategies.getStateRefinementStrategy()

Methods in de.rwth.i2.attestor.main.scene with parameters of type StateRefinementStrategy

Modifier and Type	Method and Description
void	Strategies.setStateRefinementStrategy(StateRefinementStrategy stateRefinementStrategy)

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

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration with parameters of type StateRefinementStrategy

Modifier and Type	Method and Description
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setStateRefinementStrategy(StateRefinementStrategy strategy)

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

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

Modifier and Type	Class and Description
class	NoStateRefinementStrategy

Uses of StateRefinementStrategy in de.rwth.i2.attestor.refinement

Classes in de.rwth.i2.attestor.refinement that implement StateRefinementStrategy

Modifier and Type	Class and Description
class	BundledStateRefinementStrategy

Constructor parameters in de.rwth.i2.attestor.refinement with type arguments of type StateRefinementStrategy

Constructor and Description
BundledStateRefinementStrategy(List<StateRefinementStrategy> strategies)

Uses of StateRefinementStrategy in de.rwth.i2.attestor.refinement.balanced

Classes in de.rwth.i2.attestor.refinement.balanced that implement StateRefinementStrategy

Modifier and Type	Class and Description
class	BalancednessStateRefinementStrategy

Uses of StateRefinementStrategy in de.rwth.i2.attestor.refinement.garbageCollection

Classes in de.rwth.i2.attestor.refinement.garbageCollection that implement StateRefinementStrategy

Modifier and Type	Class and Description
class	GarbageCollector

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

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

Modifier and Type	Method and Description
StateRefinementStrategy	StateSpaceGenerator.getStateRefinementStrategy()

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

Modifier and Type	Method and Description
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setStateRefinementStrategy(StateRefinementStrategy stateRefinementStrategy)