GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.grShell
GrShellSequenceApplierAndDebugger Class
GrShellSequenceApplierAndDebugger Methods
ApplyRewriteSequence Method
ApplyRewriteSequenceExpression Method
Cancel Method
ChangeDebuggerGraphAsNeeded Method
CheckDebuggerAlive Method
DebugDoLayout Method
DebugRewriteSequence Method
DebugRewriteSequenceExpression Method
DebugWith Method
DisableDebuggerAfterDeletionAsNeeded Method
GetDebugLayoutOptions Method
GetDebugOptionGui Method
GetDebugOptions Method
GetDebugOptionTwoPane Method
QuitDebugModeAsNeeded Method
ReadKeyWithCancel Method
RestartDebuggerOnNewGraphAsNeeded Method
SetDebugLayout Method
SetDebugLayoutOption Method
SetDebugMode Method
SetDebugOption Method
SetMatchModePost Method
SetMatchModePre Method
ShowGraphWith Method
UpdateDebuggerDisplayAsNeeded Method
GrShellSequenceApplierAndDebugger
GetDebugOptionGui Method
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
bool
GetDebugOptionGui
()
Return Value
Type:
Boolean
See Also
Reference
GrShellSequenceApplierAndDebugger Class
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement