 | INamedGraphSetElementName Method |
Sets the name for a graph element. Any previous name will be overwritten.
Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.2
SyntaxC#
void SetElementName( IGraphElement elem, string name )
Parameters
- elem
- Type: de.unika.ipd.grGen.libGrIGraphElement
The graph element to be named. - name
- Type: SystemString
The new name for the graph element.
See Also