 | PatternGraphEmbedding(PatternGraphEmbedding, PatternGraphEmbedding, PatternGraph, String) Constructor |
Instantiates a new pattern graph embedding object as a copy from an original embedding, used for inlining.
Namespace: de.unika.ipd.grGen.lgspAssembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntaxpublic PatternGraphEmbedding(
PatternGraphEmbedding original,
PatternGraphEmbedding inlinedSubpatternEmbedding,
PatternGraph newHost,
string nameSuffix
)
Parameters
- original PatternGraphEmbedding
- The original embedding to be copy constructed.
- inlinedSubpatternEmbedding PatternGraphEmbedding
- The embedding which just gets inlined.
- newHost PatternGraph
- The pattern graph the new embedding will be contained in.
- nameSuffix String
- The suffix to be added to the name of the embedding (to avoid name collisions).
See Also