 | PatternCondition(PatternCondition, PatternGraphEmbedding, String) Constructor |
Instantiates a new PatternCondition object as a copy from an original condition, used for inlining.
Namespace: de.unika.ipd.grGen.lgspAssembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntaxpublic PatternCondition(
PatternCondition original,
PatternGraphEmbedding inlinedSubpatternEmbedding,
string renameSuffix
)
Parameters
- original PatternCondition
- The original condition to be copy constructed.
- inlinedSubpatternEmbedding PatternGraphEmbedding
- The embedding which just gets inlined.
- renameSuffix String
- The rename suffix to be applied to all the nodes, edges, and variables used.
See Also