GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
SetInternallyVisited Method (elem, visited)
Namespacesde.unika.ipd.grGen.lgspLGSPGraphSetInternallyVisited(IGraphElement, Boolean)
Sets the internal-use visited flag of the given graph element. (Used for computing reachability.)
Declaration Syntax
C#
public override void SetInternallyVisited(
	IGraphElement elem,
	bool visited
)
Parameters
elem (IGraphElement)
The graph element whose flag is to be set.
visited (Boolean)
True for visited, false for not visited.

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