Differences

This shows you the differences between two versions of the page.

--- groimp-platform:xl-operators [2025/01/10 12:58] – [Edge operators] gaetan
+++ groimp-platform:xl-operators [2025/01/10 15:08] (current) – [Pattern predicates] gaetan
@@ Line 1: / Line 1: @@
+===== Production operators =====
+Production operators are operators that can be used in a production statement.
 ==== Edge operators ====
@@ Line 5: / Line 8: @@
 | > | connect node with previous by a successor edge |
 | < | connect node with previous by a reverse successor edge |
-| <-> | connect node with previous by successor edges in both directions |
+| %%<->%% | connect node with previous by successor edges in both directions |
-| --- | connect node with previous by a successor edge if there does not yet exist such an edge in either direction |
+| %%---%% | connect node with previous by a successor edge if there does not yet exist such an edge in either direction |
-| +>, <+, <+>, -+- | as before, but branch instead of successor edges |
+| %%+>%%, %%<+%%, %%<+>%%, %%-+-%% | as before, but branch instead of successor edges |
-| />, </, </>, -/- | as before, but refinement instead of successor edges |
+| %%/>%%, %%</%%, %%</>%%, %%-/-%% | as before, but refinement instead of successor edges |
-| -e->, <-e-, <-e->, -e- with an int-valued expression e | as before, but edges of type e instead of successor edges | -n-> with a node-valued expression n | create a compound edge with n encoding the edge data |
+| %%-e->%%, %%<-e-%%, %%<-e->%%, %%-e-%% with an int-valued expression e | as before, but edges of type e instead of successor edges |
-| <-n- with a node-valued expression n | as before, but reverse direction |
+| %%-n->%% with a node-valued expression n | create a compound edge with n encoding the edge data |
-| [, and ] | define the starts and the end of a branch connected subgraph |
+| %%<-n-%% with a node-valued expression n | as before, but reverse direction |
+| [, ] | define the starts and the end of a branch connected subgraph |
-==== Selection Type ====