Click or drag to resize

PatternGraphisPatternpathLocked Field

Tells whether the elements from the parent patterns (but not sibling patterns) should be isomorphy locked, i.e. not again matchable, even in negatives/independents, which are normally hom to all. This allows to match paths without a specified end, eagerly, i.e. as long as a successor exists, even in case of a cycles in the graph.

Namespace: de.unika.ipd.grGen.lgsp
Assembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntax
C#
public readonly bool isPatternpathLocked

Field Value

Boolean
See Also