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

Packages that use AbortStrategy

Package	Description
de.rwth.i2.attestor.main.scene
de.rwth.i2.attestor.markingGeneration
de.rwth.i2.attestor.markingGeneration.neighbourhood
de.rwth.i2.attestor.markingGeneration.visited
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 AbortStrategy in de.rwth.i2.attestor.main.scene

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

Modifier and Type	Method and Description
AbortStrategy	Strategies.getAbortStrategy()

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

Modifier and Type	Method and Description
void	Strategies.setAbortStrategy(AbortStrategy abortStrategy)

Uses of AbortStrategy in de.rwth.i2.attestor.markingGeneration

Fields in de.rwth.i2.attestor.markingGeneration declared as AbortStrategy

Modifier and Type	Field and Description
protected AbortStrategy	AbstractMarkingGenerator.abortStrategy

Constructors in de.rwth.i2.attestor.markingGeneration with parameters of type AbortStrategy

Constructor and Description
AbstractMarkingGenerator(Collection<String> availableSelectorLabelNames, AbortStrategy abortStrategy, MaterializationStrategy materializationStrategy, CanonicalizationStrategy canonicalizationStrategy, CanonicalizationStrategy aggressiveCanonicalizationStrategy, StateRectificationStrategy stateRectificationStrategy)

Uses of AbortStrategy in de.rwth.i2.attestor.markingGeneration.neighbourhood

Constructors in de.rwth.i2.attestor.markingGeneration.neighbourhood with parameters of type AbortStrategy

Constructor and Description
NeighbourhoodMarkingGenerator(Collection<String> availableSelectorLabelNames, AbortStrategy abortStrategy, MaterializationStrategy materializationStrategy, CanonicalizationStrategy canonicalizationStrategy, CanonicalizationStrategy aggressiveCanonicalizationStrategy, StateRectificationStrategy stateRectificationStrategy)

Uses of AbortStrategy in de.rwth.i2.attestor.markingGeneration.visited

Constructors in de.rwth.i2.attestor.markingGeneration.visited with parameters of type AbortStrategy

Constructor and Description
VisitedMarkingGenerator(Collection<String> availableSelectorLabelNames, AbortStrategy abortStrategy, MaterializationStrategy materializationStrategy, CanonicalizationStrategy canonicalizationStrategy, CanonicalizationStrategy aggressiveCanonicalizationStrategy, StateRectificationStrategy stateRectificationStrategy)

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

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

Modifier and Type	Class and Description
class	NoAbortStrategy
class	StateSpaceBoundedAbortStrategy Implementation of an AbortStrategy that stops the state space generation whenever either the size of the state space or the size of the largest state in the state space exceeds a customized threshold.

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

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

Modifier and Type	Method and Description
AbortStrategy	StateSpaceGenerator.getAbortStrategy()

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

Modifier and Type	Method and Description
StateSpaceGeneratorBuilder	StateSpaceGeneratorBuilder.setAbortStrategy(AbortStrategy abortStrategy)