de.rwth.i2.attestor.refinement

Class BundledStateRefinementStrategy

java.lang.Object

de.rwth.i2.attestor.refinement.BundledStateRefinementStrategy

All Implemented Interfaces:

StateRefinementStrategy

public class BundledStateRefinementStrategy
extends Object
implements StateRefinementStrategy

Constructor Summary

Constructors

Constructor and Description
BundledStateRefinementStrategy(List<StateRefinementStrategy> strategies)

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BundledStateRefinementStrategy

public BundledStateRefinementStrategy(List<StateRefinementStrategy> strategies)

Method Detail

refine

public ProgramState refine(SemanticsCommand semanticsCommand,
                           ProgramState state)

Specified by:

refine in interface StateRefinementStrategy