Uses of Class
de.rwth.i2.attestor.stateSpaceGeneration.StateSpaceGenerationAbortedException

Packages that use StateSpaceGenerationAbortedException

Package	Description
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 StateSpaceGenerationAbortedException in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Methods in de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies that throw StateSpaceGenerationAbortedException

Modifier and Type	Method and Description
void	NoAbortStrategy.checkAbort(StateSpace stateSpace)
void	StateSpaceBoundedAbortStrategy.checkAbort(StateSpace stateSpace)

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

Methods in de.rwth.i2.attestor.stateSpaceGeneration that throw StateSpaceGenerationAbortedException

Modifier and Type	Method and Description
void	AbortStrategy.checkAbort(StateSpace stateSpace) Checks whether further states may be generated.
StateSpace	StateSpaceGenerator.generate() Attempts to generate a StateSpace according to the underlying analysis.