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 Properties
GraphViewerType Property
Gui Property
OperationCancelled Property
SilenceExec Property
TwoPane Property
GrShellSequenceApplierAndDebugger
Gui Property
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
bool
Gui
{
get
;
set
; }
Property Value
Type:
Boolean
See Also
Reference
GrShellSequenceApplierAndDebugger Class
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement