01_user_documentation:07_rgg_xl:03_query_graph:01_derivation
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| 01_user_documentation:07_rgg_xl:03_query_graph:01_derivation [2025/11/21 11:54] – gaetan | 01_user_documentation:07_rgg_xl:03_query_graph:01_derivation [2025/11/21 12:00] (current) – gaetan | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| Rules of the XL programming language are executed when the control flow reaches them. The execution of a rule finds all matches of the left-hand side and, for each match, performs the statements of the right-hand side. Thus, for a producer implementation which constructs a parallel production, the control flow in the sense of relational growth grammars the family of all executed rules and applies each rule via every possible match in the current graph. This is a true parallel mode of derivation. The different derivation modes enable to use a different control flow. | Rules of the XL programming language are executed when the control flow reaches them. The execution of a rule finds all matches of the left-hand side and, for each match, performs the statements of the right-hand side. Thus, for a producer implementation which constructs a parallel production, the control flow in the sense of relational growth grammars the family of all executed rules and applies each rule via every possible match in the current graph. This is a true parallel mode of derivation. The different derivation modes enable to use a different control flow. | ||
| - | o choose the derivation mode, the class Graph (Model graph) of the base implementation provides the method setDerivationMode and a set of constants to use as argument, namely '' | + | ====== |
| - | '' | + | |
| - | This is also the default derivation mode. | + | |
| - | The flag EXCLUDE DELETED FLAG is useful in combination with PARALLEL MODE to obtain a variant of the deter- | + | To choose |
| - | ministic parallel | + | - '' |
| - | execution | + | - '' |
| - | this is remembered, and this node is excluded from the set of candidates for | + | - '' |
| - | further matches by the mechanism described in Sect. 7.3.4 on page 199 (i. e., | + | - '' |
| - | the method excludeFromMatch of the query state returns true for such nodes). | + | These constants |
| - | In effect, this means that the first match which deletes a node is used and | + | - '' |
| - | all further possible matches are disabled. Concrete examples for all described | + | - '' |
| - | derivation modes can be found in Sect. 10.2.1 on page 278. | + | |
| + | The default derivation mode is : '' | ||
| ====== | ====== | ||
| {{namespace> | {{namespace> | ||
01_user_documentation/07_rgg_xl/03_query_graph/01_derivation.1763722485.txt.gz · Last modified: 2025/11/21 11:54 by gaetan
