Differences

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

--- 01_user_documentation:groimp-platform:xl-operators [2025/01/24 11:58] – ↷ Page moved from groimp-platform:xl-operators to 01_user_documentation:groimp-platform:xl-operators gaetan
+++ 01_user_documentation:groimp-platform:xl-operators [2025/01/24 17:07] (current) – removed gaetan
@@ Line 1: / Line 1: @@
-===== Production operators =====
-Production operators are operators that can be used in a production statement.
-==== Edge operators ====
-| whitespace | add node and connect with previous node, if any, by a successor edge |
-| > | 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 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 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 |
-| %%<-n-%% with a node-valued expression n | as before, but reverse direction |
-| [, ] | define the starts and the end of a branch connected subgraph |