 | PatternGraph(PatternGraph, PatternGraphEmbedding, PatternGraph, String, DictionaryPatternNode, PatternNode, DictionaryPatternEdge, PatternEdge, DictionaryPatternVariable, PatternVariable) Constructor |
Instantiates a new PatternGraph object as a copy from an original pattern graph, used for inlining.
We create the inlined elements as clones from the original stuff so a maybe already done inlining pass inside a subpattern does not influence us when we inline that subpattern.
Namespace: de.unika.ipd.grGen.lgspAssembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntaxpublic PatternGraph(
PatternGraph original,
PatternGraphEmbedding inlinedSubpatternEmbedding,
PatternGraph newHost,
string nameSuffix,
Dictionary<PatternNode, PatternNode> nodeToCopy_,
Dictionary<PatternEdge, PatternEdge> edgeToCopy_,
Dictionary<PatternVariable, PatternVariable> variableToCopy_
)
Parameters
- original PatternGraph
- The original pattern graph to be copy constructed.
- inlinedSubpatternEmbedding PatternGraphEmbedding
- The embedding which just gets inlined.
- newHost PatternGraph
- The pattern graph the new pattern element will be contained in.
- nameSuffix String
- The suffix to be added to the name of the pattern graph 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