Click or drag to resize

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.1
Syntax
C#
Copy
void SetElementName(
	IGraphElement elem,
	string name
)

Parameters

elem  IGraphElement
The graph element to be named.
name  String
The new name for the graph element.
See Also