Click or drag to resize

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.1
Syntax
C#
public delegate void VisitedFreeHandler(
	int visitorID
)

Parameters

visitorID  Int32
The id of the visited flag that was freed.
See Also