 | LGSPNamedGraph(LGSPGraph, IDictionaryIGraphElement, IGraphElement) Constructor |
Copy and extend constructor, creates a named graph from a normal graph.
Initializes the name maps with anonymous names in the form "$" + GetNextName()
Namespace: de.unika.ipd.grGen.lgspAssembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntaxpublic LGSPNamedGraph(
LGSPGraph graph,
out IDictionary<IGraphElement, IGraphElement> oldToNewMap
)
Parameters
- graph LGSPGraph
- The graph to be used named
- oldToNewMap IDictionaryIGraphElement, IGraphElement
- A map of the old elements to the new elements after cloning
See Also