GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
UserChoiceMenu Class
UserChoiceMenu Methods
ContainsKey Method
GetKey Method
IsCurrentlyAvailable Method
ToOptionsString Method
User
Choice
Menu
To
Options
String Method
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public
string
ToOptionsString
(
bool
separateByNewline
)
Parameters
separateByNewline
Boolean
Return Value
String
See Also
Reference
UserChoiceMenu Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement