GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
SetInternallyVisited Method (elem, visited, threadId)
Namespacesde.unika.ipd.grGen.lgspLGSPGraphSetInternallyVisited(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.)
Declaration Syntax
C#
public override 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.

Assembly: lgspBackend (Module: lgspBackend) Version: 4.4.0.0 (4.4.0.0)