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.lgsp
LGSPTransactionManager Class
LGSPTransactionManager Methods
ChangingElementAttribute Method
Commit Method
ElementAdded Method
ExternalTypeChanged Method
Pause Method
RedirectingEdge Method
RemovingElement Method
Resume Method
ReturnFromGraph Method
RetypingElement Method
Rollback Method
SettingVisited Method
Start Method
SwitchToGraph Method
ToString Method
VisitedAlloc Method
VisitedFree Method
LGSPTransactionManager
VisitedFree Method
Namespace:
de.unika.ipd.grGen.lgsp
Assembly:
lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public
void
VisitedFree
(
int
visitorID
)
Parameters
visitorID
Type:
System
Int32
See Also
Reference
LGSPTransactionManager Class
de.unika.ipd.grGen.lgsp Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement
SyntaxSee AlsoSyntaxSee Also