 | SettingVisitedHandler Delegate |
Represents a method called before a visited flag is set to a new value.
Namespace:
de.unika.ipd.grGen.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntaxpublic delegate void SettingVisitedHandler(
IGraphElement elem,
int visitorID,
bool newValue
)
Parameters
- elem
- Type: de.unika.ipd.grGen.libGrIGraphElement
The graph element of which the specified flag is to be set. - visitorID
- Type: SystemInt32
The id of the visited flag to be set. - newValue
- Type: SystemBoolean
The new value.
See Also