de.rwth.i2.attestor.stateSpaceGeneration

Class StateCanonicalizationStrategy

java.lang.Object

de.rwth.i2.attestor.stateSpaceGeneration.StateCanonicalizationStrategy

public class StateCanonicalizationStrategy
extends Object

Constructor Summary

Constructors

Constructor and Description
StateCanonicalizationStrategy(CanonicalizationStrategy strategy)

Method Summary

Modifier and Type	Method and Description
ProgramState	canonicalize(ProgramState state)
CanonicalizationStrategy	getHeapStrategy()

Methods inherited from class java.lang.Object

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

Constructor Detail

StateCanonicalizationStrategy

public StateCanonicalizationStrategy(CanonicalizationStrategy strategy)

Method Detail

getHeapStrategy

public CanonicalizationStrategy getHeapStrategy()

canonicalize

public ProgramState canonicalize(ProgramState state)