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.lgsp Assembly:
lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.2