Click or drag to resize

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.lgsp
Assembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntax
C#
public 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