Click or drag to resize

StorageAccessIndexPatchUsersOfCopiedElements Method

Namespace:  de.unika.ipd.grGen.lgsp
Assembly:  lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public void PatchUsersOfCopiedElements(
	Dictionary<PatternNode, PatternNode> nodeToCopy,
	Dictionary<PatternEdge, PatternEdge> edgeToCopy,
	Dictionary<PatternVariable, PatternVariable> variableToCopy
)

Parameters

nodeToCopy
Type: System.Collections.GenericDictionaryPatternNode, PatternNode
edgeToCopy
Type: System.Collections.GenericDictionaryPatternEdge, PatternEdge
variableToCopy
Type: System.Collections.GenericDictionaryPatternVariable, PatternVariable
See Also