de.rwth.i2.attestor.refinement.identicalNeighbourhood

Class NeighbourhoodAutomaton

java.lang.Object

de.rwth.i2.attestor.main.scene.SceneObject

de.rwth.i2.attestor.refinement.identicalNeighbourhood.NeighbourhoodAutomaton

All Implemented Interfaces:

StatelessHeapAutomaton

public class NeighbourhoodAutomaton
extends SceneObject
implements StatelessHeapAutomaton

Constructor Summary

Constructors

Constructor and Description
NeighbourhoodAutomaton(SceneObject sceneObject, String markingName)

Method Summary

Modifier and Type	Method and Description
Set<String>	transition(HeapConfiguration heapConfiguration) Perform a transition on the given graph and compute the corresponding atomic propositions

Methods inherited from class de.rwth.i2.attestor.main.scene.SceneObject

scene

Methods inherited from class java.lang.Object

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

Constructor Detail

NeighbourhoodAutomaton

public NeighbourhoodAutomaton(SceneObject sceneObject,
                              String markingName)

Method Detail

transition

public Set<String> transition(HeapConfiguration heapConfiguration)

Description copied from interface: StatelessHeapAutomaton

Perform a transition on the given graph and compute the corresponding atomic propositions

Specified by:

transition in interface StatelessHeapAutomaton

Parameters:

heapConfiguration - The heap configuration to analyze.

Returns:

The corresponding set of atomic propositions.