de.rwth.i2.attestor.refinement

Interface HeapAutomaton

All Known Implementing Classes:

PointsToHeapAutomaton, ProductHeapAutomaton, ReachabilityHeapAutomaton

public interface HeapAutomaton

Method Summary

Modifier and Type	Method and Description
List<HeapConfiguration>	getPossibleHeapRewritings(HeapConfiguration heapConfiguration)
boolean	isInitialState(HeapAutomatonState heapAutomatonState)
HeapAutomatonState	transition(HeapConfiguration heapConfiguration, List<HeapAutomatonState> statesOfNonterminals)

Method Detail

transition

HeapAutomatonState transition(HeapConfiguration heapConfiguration,
                              List<HeapAutomatonState> statesOfNonterminals)

isInitialState

boolean isInitialState(HeapAutomatonState heapAutomatonState)

getPossibleHeapRewritings

List<HeapConfiguration> getPossibleHeapRewritings(HeapConfiguration heapConfiguration)