Click or drag to resize

IGraphIsInternallyVisited Method (IGraphElement, Int32)

Returns whether the given graph element has been internally visited. (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
bool IsInternallyVisited(
	IGraphElement elem,
	int threadId
)

Parameters

elem
Type: de.unika.ipd.grGen.libGrIGraphElement
The graph element whose flag is to be retrieved.
threadId
Type: SystemInt32
The id of the thread which queries the marking of the graph element.

Return Value

Type: Boolean
True for visited, false for not visited.
See Also