Click or drag to resize

IGraphSetInternallyVisited(IGraphElement, Boolean, Int32) Method

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

Parameters

elem  IGraphElement
The graph element whose flag is to be set.
visited  Boolean
True for visited, false for not visited.
threadId  Int32
The id of the thread which marks the graph element.
See Also