Click or drag to resize

INamedGraphSetElementPrefixName Method

Sets a name of the form prefix + number for the graph element, with number being the first number from 0 on yielding an element name not already available in the graph

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
void SetElementPrefixName(
	IGraphElement element,
	string prefix
)

Parameters

element
Type: de.unika.ipd.grGen.libGrIGraphElement
prefix
Type: SystemString
See Also