Consistency Conditions and Layers

This dialog allows to set a layer (or some layers) for graph consistency constraints of a grammar. Generally, we formulate consistency conditions (graph consistency constraints) of layered graph grammars similar to non-layered grammars. But when certain consistency conditions should be satisfied for one or some layers only we can define that using this dialog. Consistency conditions which shoud be satisfied for all layers of a layered graph grammar do not need a layer setting.

Selecting layer buttons of this table you can set layers for consistency conditions.