 | BaseGraphSettingVisited Method |
Fires an OnSettingVisited event.
Namespace:
de.unika.ipd.grGen.libGr
Assembly:
libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntaxpublic void SettingVisited(
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