Click or drag to resize

UserChoiceMenuToOptionsString Method

Namespace:  de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:  graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public string ToOptionsString(
	bool separateByNewline
)

Parameters

separateByNewline
Type: SystemBoolean

Return Value

Type: String
See Also