GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
ReallocateVisitedFlag Method (visitorID)
Namespacesde.unika.ipd.grGen.lgspLGSPGraphReallocateVisitedFlag(Int32)
Called by the transaction manager on flags it reserved from getting handed out again during valloc, when the transaction is rolled back, and the vfree is undone by a realloc.
Declaration Syntax
C#
public void ReallocateVisitedFlag(
	int visitorID
)
Parameters
visitorID (Int32)

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