de.rwth.i2.attestor.stateSpaceGeneration

Interface StateLabelingStrategy

All Known Implementing Classes:

AutomatonStateLabelingStrategy, NoStateLabelingStrategy

public interface StateLabelingStrategy

A strategy that determines how states are labeled with atomic propositions for further analysis, such as model-checking.

Author:

Christoph

Method Summary

Modifier and Type	Method and Description
void	computeAtomicPropositions(ProgramState programState) Determines the atomic propositions assigned to the given program state.

Method Detail

computeAtomicPropositions

void computeAtomicPropositions(ProgramState programState)

Determines the atomic propositions assigned to the given program state. These propositions are directly attached to the given program state.

Parameters:

programState - The program state whose atomic propositions should be determined.