de.rwth.i2.attestor.grammar.concretization

Interface SingleStepConcretizationStrategy

All Known Implementing Classes:

DefaultSingleStepConcretizationStrategy

public interface SingleStepConcretizationStrategy

Method Summary

Modifier and Type	Method and Description
Iterator<HeapConfiguration>	concretize(HeapConfiguration heapConfiguration, int edge)

Method Detail

concretize

Iterator<HeapConfiguration> concretize(HeapConfiguration heapConfiguration,
                                       int edge)