de.rwth.i2.attestor.grammar.concretization

Class DefaultSingleStepConcretizationStrategy

java.lang.Object

de.rwth.i2.attestor.grammar.concretization.DefaultSingleStepConcretizationStrategy

All Implemented Interfaces:

SingleStepConcretizationStrategy

public class DefaultSingleStepConcretizationStrategy
extends Object
implements SingleStepConcretizationStrategy

Constructor Summary

Constructors

Constructor and Description
DefaultSingleStepConcretizationStrategy(Grammar grammar)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultSingleStepConcretizationStrategy

public DefaultSingleStepConcretizationStrategy(Grammar grammar)

Method Detail

concretize

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

Specified by:

concretize in interface SingleStepConcretizationStrategy