Click or drag to resize

IGraphSetInternallyVisited Method (IGraphElement, Boolean, Int32)

Sets the internal-use visited flag of the given graph element. (Used for computing reachability when employed from a parallelized matcher executed by the thread pool.)

Namespace:  de.unika.ipd.grGen.libGr
Assembly:  libGr (in libGr.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
void SetInternallyVisited(
	IGraphElement elem,
	bool visited,
	int threadId
)

Parameters

elem
Type: de.unika.ipd.grGen.libGrIGraphElement
The graph element whose flag is to be set.
visited
Type: SystemBoolean
True for visited, false for not visited.
threadId
Type: SystemInt32
The id of the thread which marks the graph element.
See Also