 | IGraphFreeVisitedFlagNonReset Method |
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.
Namespace: de.unika.ipd.grGen.libGrAssembly: libGr (in libGr.dll) Version: GrGen.NET 7.1
Syntaxvoid FreeVisitedFlagNonReset(
int visitorID
)
Parameters
- visitorID Int32
- The ID of the visited flag to be freed.
See Also