 | 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.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntaxvoid FreeVisitedFlagNonReset(
int visitorID
)
Parameters
- visitorID
- Type: SystemInt32
The ID of the visited flag to be freed.
See Also