Click or drag to resize

Iterated(Iterated, PatternGraphEmbedding, PatternGraph, String, DictionaryPatternNode, PatternNode, DictionaryPatternEdge, PatternEdge, DictionaryPatternVariable, PatternVariable) Constructor

Instantiates a new iterated object as a copy from an original iterated, used for inlining.

Namespace: de.unika.ipd.grGen.lgsp
Assembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public Iterated(
	Iterated original,
	PatternGraphEmbedding inlinedSubpatternEmbedding,
	PatternGraph newHost,
	string nameSuffix,
	Dictionary<PatternNode, PatternNode> nodeToCopy,
	Dictionary<PatternEdge, PatternEdge> edgeToCopy,
	Dictionary<PatternVariable, PatternVariable> variableToCopy
)

Parameters

original  Iterated
The original iterated to be copy constructed.
inlinedSubpatternEmbedding  PatternGraphEmbedding
The embedding which just gets inlined.
newHost  PatternGraph
The pattern graph the new iterated will be contained in.
nameSuffix  String
The suffix to be added to the name of the iterated and its elements (to avoid name collisions).
nodeToCopy  DictionaryPatternNode, PatternNode
A dictionary mapping nodes to their copies.
edgeToCopy  DictionaryPatternEdge, PatternEdge
A dictionary mapping edges to their copies.
variableToCopy  DictionaryPatternVariable, PatternVariable
A dictionary mapping variables to their copies.
See Also