 | LGSPGraphUnreserveVisitedFlag Method |
Called by the transaction manager on flags it reserved from getting handed out again during valloc,
when the transaction finished and it is safe to return those flags again on valloc.
Namespace: de.unika.ipd.grGen.lgspAssembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntaxpublic void UnreserveVisitedFlag(
int visitorID
)
Parameters
- visitorID Int32
See Also