Click or drag to resize

GrShellReInit Method (GrShellTokenManager)

Namespace:  de.unika.ipd.grGen.grShell
Assembly:  libGrShell (in libGrShell.dll) Version: GrGen.NET 7.2
Syntax
C#
public void ReInit(
	GrShellTokenManager tm
)

Parameters

tm
Type: de.unika.ipd.grGen.grShellGrShellTokenManager
See Also