de.rwth.i2.attestor.stateSpaceGeneration

Interface AbortStrategy

All Known Implementing Classes:

NoAbortStrategy, StateSpaceBoundedAbortStrategy

public interface AbortStrategy

A strategy that determines when to give up the state space generation.

Author:

Christoph

Method Summary

Modifier and Type	Method and Description
void	checkAbort(StateSpace stateSpace) Checks whether further states may be generated.

Method Detail

checkAbort

void checkAbort(StateSpace stateSpace)
         throws StateSpaceGenerationAbortedException

Checks whether further states may be generated.

Parameters:

stateSpace - The StateSpace that has been generated so far.

Throws:

StateSpaceGenerationAbortedException