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 Fields
name Field
optionNames Field
options Field
User
Choice
Menu Fields
The
UserChoiceMenu
type exposes the following members.
Fields
Name
Description
name
optionNames
options
Top
See Also
Reference
UserChoiceMenu Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement
Fields
See AlsoFieldsSee Also