GrGen.NET v8.1 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v8.1 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.grShell
GrShellSequenceApplierAndDebugger Class
GrShellSequenceApplierAndDebugger Properties
GraphViewerType Property
Gui Property
IsGuiShell Property
OperationCancelled Property
SilenceExec Property
TwoPane Property
GrShellSequenceApplierAndDebugger
OperationCancelled Property
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 8.1
Syntax
C#
Copy
public
bool
OperationCancelled
{
get
; }
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