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.1

Syntax

Copy

void SetElementPrefixName(
	IGraphElement element,
	string prefix
)

Parameters

element IGraphElement
prefix String

Reference

INamedGraph Interface

de.unika.ipd.grGen.libGr Namespace