Uses of Class
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.StateSubsumptionStrategy

Packages that use StateSubsumptionStrategy

Package	Description
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Uses of StateSubsumptionStrategy in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Constructors in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration with parameters of type StateSubsumptionStrategy

Constructor and Description
TargetBasedStateExplorationStrategy(Collection<ProgramState> targetStates, StateSubsumptionStrategy subsumptionStrategy)
TraceBasedFinalStateStrategy(StateSubsumptionStrategy subsumptionStrategy, ProgramState traceFinalState)
TraceBasedStateExplorationStrategy(CounterexampleTrace trace, StateSubsumptionStrategy stateSubsumptionStrategy)