de.rwth.i2.attestor.refinement.grammarRefinement

Class InitialHeapConfigurationRefinement

java.lang.Object

de.rwth.i2.attestor.refinement.grammarRefinement.InitialHeapConfigurationRefinement

public class InitialHeapConfigurationRefinement
extends Object

Constructor Summary

Constructors

Constructor and Description
InitialHeapConfigurationRefinement(HeapConfiguration initialHeapConf, Grammar grammar, HeapAutomaton heapAutomaton)

Method Summary

Modifier and Type	Method and Description
List<HeapConfiguration>	getRefinements()

Methods inherited from class java.lang.Object

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

Constructor Detail

InitialHeapConfigurationRefinement

public InitialHeapConfigurationRefinement(HeapConfiguration initialHeapConf,
                                          Grammar grammar,
                                          HeapAutomaton heapAutomaton)

Method Detail

getRefinements

public List<HeapConfiguration> getRefinements()