GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
isPatternpathLocked Field
Namespacesde.unika.ipd.grGen.lgspPatternGraphisPatternpathLocked
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.
Declaration Syntax
C#
public bool isPatternpathLocked

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