GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
FreeVisitedFlagNonReset Method (visitorID)
Namespacesde.unika.ipd.grGen.lgspLGSPGraphFreeVisitedFlagNonReset(Int32)
Frees a clean visited flag. This is an O(1) but potentially unsafe operation. Attention! A marked element stays marked, so a later allocation hands out a dirty visited flag! Use only if you can ensure that all elements of that flag are unmarked before calling.
Declaration Syntax
C#
public override void FreeVisitedFlagNonReset(
	int visitorID
)
Parameters
visitorID (Int32)
The ID of the visited flag to be freed.

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