de.rwth.i2.attestor.programState.indexedState.index

Interface IndexCanonizationStrategy

All Known Implementing Classes:

IndexCanonizationStrategyImpl

public interface IndexCanonizationStrategy

Method Summary

Modifier and Type	Method and Description
void	canonizeIndex(HeapConfiguration hc)

Method Detail

canonizeIndex

void canonizeIndex(HeapConfiguration hc)