PatternGraph Constructor (PatternGraph, PatternGraphEmbedding, PatternGraph, String, DictionaryPatternNode, PatternNode, DictionaryPatternEdge, PatternEdge, DictionaryPatternVariable, PatternVariable)

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.2

Syntax

Copy

public PatternGraph(
	PatternGraph 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.lgspPatternGraph
The original pattern graph 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 pattern element will be contained in.
nameSuffix: Type: SystemString
The suffix to be added to the name of the pattern graph 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.

Reference

PatternGraph Class

PatternGraph Overload

de.unika.ipd.grGen.lgsp Namespace