 | 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.lgspAssembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntaxpublic readonly bool isPatternpathLocked
Field Value
Boolean
See Also