de.rwth.i2.attestor.stateSpaceGeneration

Interface StateRectificationStrategy

All Known Implementing Classes:

AdmissibleStateRectificationStrategy, NoRectificationStrategy

public interface StateRectificationStrategy

Method Summary

Modifier and Type	Method and Description
Collection<ProgramState>	rectify(ProgramState state)

Method Detail

rectify

Collection<ProgramState> rectify(ProgramState state)