 | VisitedFreeHandler Delegate |
Represents a method called, when a visited flag was freed.
Namespace: de.unika.ipd.grGen.libGrAssembly: libGr (in libGr.dll) Version: GrGen.NET 7.1
Syntaxpublic delegate void VisitedFreeHandler(
int visitorID
)
Parameters
- visitorID Int32
- The id of the visited flag that was freed.
See Also