GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
ReserveVisitedFlag Method (visitorID)
Namespacesde.unika.ipd.grGen.lgspLGSPGraphReserveVisitedFlag(Int32)
Called by the transaction manager just when it gets notified about a vfree. The visited flag freed must be reserved until the transaction finished, cause otherwise it might be impossible for the transaction manager to roll the vfree back with a valloc; that may happen if the flag is handed out again in a succeeding valloc, during a transaction pause.
Declaration Syntax
C#
public void ReserveVisitedFlag(
	int visitorID
)
Parameters
visitorID (Int32)

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