Click or drag to resize

IGraphIsInternallyVisited(IGraphElement, Int32) Method

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.1
Syntax
C#
bool IsInternallyVisited(
	IGraphElement elem,
	int threadId
)

Parameters

elem  IGraphElement
The graph element whose flag is to be retrieved.
threadId  Int32
The id of the thread which queries the marking of the graph element.

Return Value

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