 | Iterated Constructor (Iterated, PatternGraphEmbedding, PatternGraph, String, DictionaryPatternNode, PatternNode, DictionaryPatternEdge, PatternEdge, DictionaryPatternVariable, PatternVariable) |
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.2
Syntaxpublic Iterated(
Iterated original,
PatternGraphEmbedding inlinedSubpatternEmbedding,
PatternGraph newHost,
string nameSuffix,
Dictionary<PatternNode, PatternNode> nodeToCopy,
Dictionary<PatternEdge, PatternEdge> edgeToCopy,
Dictionary<PatternVariable, PatternVariable> variableToCopy
)
Parameters
- original
- Type: de.unika.ipd.grGen.lgspIterated
The original iterated to be copy constructed. - inlinedSubpatternEmbedding
- Type: de.unika.ipd.grGen.lgspPatternGraphEmbedding
The embedding which just gets inlined. - newHost
- Type: de.unika.ipd.grGen.lgspPatternGraph
The pattern graph the new iterated will be contained in. - nameSuffix
- Type: SystemString
The suffix to be added to the name of the iterated and its elements (to avoid name collisions). - nodeToCopy
- Type: System.Collections.GenericDictionaryPatternNode, PatternNode
A dictionary mapping nodes to their copies. - edgeToCopy
- Type: System.Collections.GenericDictionaryPatternEdge, PatternEdge
A dictionary mapping edges to their copies. - variableToCopy
- Type: System.Collections.GenericDictionaryPatternVariable, PatternVariable
A dictionary mapping variables to their copies.
See Also