de.rwth.i2.attestor.stateSpaceGeneration

Interface LabelledProgramState

All Known Subinterfaces:

ProgramState

All Known Implementing Classes:

DefaultProgramState, GeneralProgramState, IndexedState

public interface LabelledProgramState

Method Summary

Modifier and Type	Method and Description
void	addAP(String ap) Adds an atomic proposition.
Set<String>	getAPs()
boolean	satisfiesAP(String ap) Checks whether this object satisfies an atomic proposition.

Method Detail

satisfiesAP

boolean satisfiesAP(String ap)

Checks whether this object satisfies an atomic proposition.

Parameters:

ap, - the proposition the state is checked for

Returns:

true, if the proposition holds, i.e. is contained in the label of the state false, otherwise

addAP

void addAP(String ap)

Adds an atomic proposition.

Parameters:

ap - The atomic proposition to add.

getAPs

Set<String> getAPs()

Returns:

The set of all atomic propositions attached to this object.