de.rwth.i2.attestor.stateSpaceGeneration

Class StateMaterializationStrategy

java.lang.Object

de.rwth.i2.attestor.stateSpaceGeneration.StateMaterializationStrategy

public class StateMaterializationStrategy
extends Object

Constructor Summary

Constructors

Constructor and Description
StateMaterializationStrategy(MaterializationStrategy heapStrategy)

Method Summary

Modifier and Type	Method and Description
MaterializationStrategy	getHeapStrategy()
Collection<ProgramState>	materialize(ProgramState state, ViolationPoints violationPoints)

Methods inherited from class java.lang.Object

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

Constructor Detail

StateMaterializationStrategy

public StateMaterializationStrategy(MaterializationStrategy heapStrategy)

Method Detail

getHeapStrategy

public MaterializationStrategy getHeapStrategy()

materialize

public Collection<ProgramState> materialize(ProgramState state,
                                            ViolationPoints violationPoints)