de.rwth.i2.attestor.stateSpaceGeneration

Interface StateRefinementStrategy

All Known Implementing Classes:

BalancednessStateRefinementStrategy, BundledStateRefinementStrategy, GarbageCollector, NoStateRefinementStrategy

public interface StateRefinementStrategy

Method Summary

Modifier and Type	Method and Description
ProgramState	refine(SemanticsCommand semanticsCommand, ProgramState state)

Method Detail

refine

ProgramState refine(SemanticsCommand semanticsCommand,
                    ProgramState state)