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
IDebuggerEnvironment Interface
IDebuggerEnvironment Methods
LetUserChoose Method
LetUserChoose(UserChoiceMenu) Method
LetUserChoose(UserChoiceMenu, UserChoiceMenu) Method
IDebugger
Environment
Let
User
Choose Method
Overload List
Name
Description
LetUserChoose(UserChoiceMenu)
LetUserChoose(UserChoiceMenu, UserChoiceMenu)
Top
See Also
Reference
IDebuggerEnvironment Interface
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement