GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
IsInternallyVisited Method (elem)
Namespacesde.unika.ipd.grGen.lgspLGSPGraphIsInternallyVisited(IGraphElement)
Returns whether the given graph element has been internally visited. (Used for computing reachability.)
Declaration Syntax
C#
public override bool IsInternallyVisited(
	IGraphElement elem
)
Parameters
elem (IGraphElement)
The graph element whose flag is to be retrieved.
Return Value
True for visited, false for not visited.

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