Post Application Conditions

Using consistency conditions it is possible to generate post application conditions of a rule such that a graph grammar ensures consistency during rule application. ²

Post application conditions can be generated:

• from all consistency conditions for all rules using menu item Create Post Conditions of pop-up menu GraGra;
• from all consistency conditions for a special espesial rule using menu item Create Post Conditions of pop-up menu Rule;
• from a special consistency condition for a special rule using menu item Create Post Conditions of pop-up menu Rule.

In AGG post application conditions are placed after the rule subtree and marked by icon P.