Alternative Constructor (Alternative, PatternGraphEmbedding, PatternGraph, String, String, Dictionary(PatternNode, PatternNode), Dictionary(PatternEdge, PatternEdge), Dictionary(PatternVariable, PatternVariable))

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

Instantiates a new alternative object as a copy from an original alternative, used for inlining.

Namespace: de.unika.ipd.grGen.lgsp
Assembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.2

Syntax

Copy

public Alternative(
	Alternative original,
	PatternGraphEmbedding inlinedSubpatternEmbedding,
	PatternGraph newHost,
	string nameSuffix,
	string pathPrefix_,
	Dictionary<PatternNode, PatternNode> nodeToCopy,
	Dictionary<PatternEdge, PatternEdge> edgeToCopy,
	Dictionary<PatternVariable, PatternVariable> variableToCopy
)

Parameters

original: Type: de.unika.ipd.grGen.lgspAlternative
The original alternative 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 alternative will be contained in.
nameSuffix: Type: SystemString
The suffix to be added to the name of the alternative and its elements (to avoid name collisions).
pathPrefix_: Type: SystemString
Prefix for name from nesting path.
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

Alternative Class

Alternative Overload

de.unika.ipd.grGen.lgsp Namespace