GrGen.NET v8.0beta API: the libGr class library (the type exact interface gets generated)
GrGen.NET v8.0beta API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.libGr
Recorder Class
Recorder Methods
External Method
Flush Method
Initialize Method
IsRecording Method
ReturnFromGraph Method
SettingVisited Method
StartRecording Method
StopRecording Method
SwitchToGraph Method
TransactionCommit Method
TransactionRollback Method
TransactionStart Method
VisitedAlloc Method
VisitedFree Method
Write Method
WriteLine Method
Recorder
External Method
Namespace:
de.unika.ipd.grGen.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 8.0beta
Syntax
C#
Copy
public
void
External
(
string
value
)
Parameters
value
Type:
System
String
Implements
IRecorder
External(String)
See Also
Reference
Recorder Class
de.unika.ipd.grGen.libGr Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement