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