de.rwth.i2.attestor.programState.indexedState

Class IndexedHeapConfigurationUtil

java.lang.Object

de.rwth.i2.attestor.programState.indexedState.IndexedHeapConfigurationUtil

public class IndexedHeapConfigurationUtil
extends Object

Constructor Summary

Constructors

Constructor and Description
IndexedHeapConfigurationUtil()

Method Summary

Modifier and Type	Method and Description
static boolean	hasInstantiatiatedIndices(HeapConfiguration hc)

Methods inherited from class java.lang.Object

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

Constructor Detail

IndexedHeapConfigurationUtil

public IndexedHeapConfigurationUtil()

Method Detail

hasInstantiatiatedIndices

public static boolean hasInstantiatiatedIndices(HeapConfiguration hc)