GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
UnreserveVisitedFlag Method (visitorID)
Namespacesde.unika.ipd.grGen.lgspLGSPGraphUnreserveVisitedFlag(Int32)
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.
Declaration Syntax
C#
public void UnreserveVisitedFlag(
	int visitorID
)
Parameters
visitorID (Int32)

Assembly: lgspBackend (Module: lgspBackend) Version: 4.4.0.0 (4.4.0.0)